port to agda/2.6.0.1 and agda-stdlib/1.1
[~helmut/bidiragda.git] / Structures.agda
2018-11-25 Helmut Grohneport to agda/2.5.4.1 and agda-stdlib/0.17
2018-11-25 Helmut Grohnereorganize equality imports
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