port to agda/ and agda-stdlib/0.17
[~helmut/bidiragda.git] / Instances.agda
2018-11-25 Helmut Grohneport to agda/ and agda-stdlib/0.17
2014-04-03 Helmut Grohnefix compilation for Agda again
2014-04-03 Helmut GrohneMerge branch feature-shaped into master
2014-03-10 Helmut Grohnealso allow Shaped types for the view
2014-03-10 Helmut Grohneport theorem-{1,2} to PartialShapeVec
2014-03-10 Helmut Grohneimplement a bff on a shaped source type