add back original bff function before shape updates
[~helmut/bidiragda.git] / Everything.agda
2014-02-10 Helmut Grohneadd bffplug and bffinv functions and examples
2014-02-05 Helmut Grohneadd examples
2014-02-03 Helmut GrohneMerge branch feature-get-record into master
2014-01-30 Helmut Grohneallow importing of Bidir without any postulates
2014-01-30 Helmut Grohnesimplify compilation of the whole source