fix compilation against agda stdlib 0.9
[~helmut/bidiragda.git] / Instances.agda
2014-04-03 Helmut Grohnefix compilation for Agda 2.3.0.1 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