make the Vec bff more similar to the List version
authorHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 16:03:51 +0000 (18:03 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 16:03:51 +0000 (18:03 +0200)
commit84231ed91ae814d5a256e5fa24810c886ae31369
tree9a35e4907babe7eebc931de9b2d1c413df7ba58e
parenta764e1652d74c911a3a8312b6734ff49d8dfccee
make the Vec bff more similar to the List version
BFF.agda