port to agda/2.5.4.1 and agda-stdlib/0.17
[~helmut/bidiragda.git] / Everything.agda
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-03-07 Helmut Grohneadd a Functor structure
2014-02-17 Helmut GrohneMerge branch feature-partial-getlen into master
2014-02-14 Helmut GrohneMerge branch feature-shape-update into master
2014-02-10 Helmut Grohneadd bffplug and bffinv functions and examples
2014-02-05 Helmut Grohneadd examples
2014-02-04 Helmut GrohneMerge branch feature-get-record into feature-partial...
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