vec-len-via-list and length-toList are the same
authorHelmut Grohne <helmut@subdivi.de>
Fri, 14 Sep 2012 15:23:58 +0000 (17:23 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 14 Sep 2012 15:23:58 +0000 (17:23 +0200)
commitb863e05247453f8a55930df5c061c156158eab0c
tree3ca974fd4d49945e2662dc2319adc29d0fa0e000
parent27cf65ec6fe7c83d53fc8f9c4383041a5af882a2
vec-len-via-list and length-toList are the same
LiftGet.agda