use map-Σ to simplify lemma-mapM-successful
[~helmut/bidiragda.git] / BFFPlug.agda
2014-02-17 Helmut Grohneuse drop, tail and take from Data.Vec in examples
2014-02-17 Helmut Grohneswitch examples to PartialVecVec
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-14 Helmut GrohneMerge branch feature-shape-update into master
2014-02-14 Helmut Grohneadd back original bff function before shape updates
2014-02-10 Helmut Grohneadd bffplug and bffinv functions and examples