diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 08:45:19 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-04-03 08:45:19 +0200 |
| commit | 20ff2bd915d116223e1ea9eda60647c60de98725 (patch) | |
| tree | 5ecf0303a025cc930292223779013d39cd4432af /Precond.agda | |
| parent | cb7f533f4119f044201df2f28838c96ee367b771 (diff) | |
| download | bidiragda-20ff2bd915d116223e1ea9eda60647c60de98725.tar.gz | |
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.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions