sym result of lemma-lookupM-{i,checkI}nsert-other
[~helmut/bidiragda.git] / BFFPlug.agda
2014-09-26 Helmut Grohneresolve ambiguity in BFFPlug
2014-03-05 Helmut GrohneMerge branch feature-omit-sequence into master
2014-02-26 Helmut Grohneremove the sequenceV call from bff
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