remove getVec-getlen in favour of plain subst
authorHelmut Grohne <helmut@subdivi.de>
Thu, 27 Sep 2012 11:55:29 +0000 (13:55 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 27 Sep 2012 11:55:29 +0000 (13:55 +0200)
commitcaeae59c7e6ae461a066ac008160035dbff9122b
tree4f2f3fc1de45d64006c570ac96499b1ceb7cdb76
parent1428e4192d61533864a8f163c86272eef4b891cf
remove getVec-getlen in favour of plain subst
LiftGet.agda