update bff implementation to use delete
[~helmut/bidiragda.git] / Generic.agda
2013-12-16 Helmut Grohneadd a mapM variant on the Maybe monad on Vecs
2013-12-16 Helmut Grohnemove generic functions to a new Generic module