port to agda/2.5.4.1 and agda-stdlib/0.17
[~helmut/bidiragda.git] / BFFPlug.agda
2018-11-25 Helmut Grohneport to agda/2.5.4.1 and agda-stdlib/0.17
2018-11-25 Helmut Grohnereorganize equality imports
2015-06-09 Helmut Grohnedrop barred members from GetTypes
2015-06-09 Helmut Grohnedrop the Function.Equality requirement from GetTypes
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