port precondition to PartialShapeVec
[~helmut/bidiragda.git] / Structures.agda
2014-03-10 Helmut Grohneimplement a bff on a shaped source type
2014-03-07 Helmut Grohneadd a Functor structure