drop PartialShapeVec
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:45:19 +0000 (08:45 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 3 Apr 2014 06:45:19 +0000 (08:45 +0200)
commit20ff2bd915d116223e1ea9eda60647c60de98725
tree5ecf0303a025cc930292223779013d39cd4432af
parentcb7f533f4119f044201df2f28838c96ee367b771
drop PartialShapeVec

One can use PartialShapeShape instead, so there is limited utility for
this type. It is not used directly and there also is no PartialVecShape.
BFF.agda
GetTypes.agda