make the Vec bff more similar to the List version
[~helmut/bidiragda.git] / BFF.agda
2012-06-05 Helmut Grohnemake the Vec bff more similar to the List version
2012-06-05 Helmut Grohnedefine a bff over Vec
2012-06-05 Helmut Grohnemove bff and friends to submodule ListBFF