Example: show that PairVec is Shaped
[~helmut/bidiragda.git] / Instances.agda
2014-03-10 Helmut Grohneport theorem-{1,2} to PartialShapeVec
2014-03-10 Helmut Grohneimplement a bff on a shaped source type