diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-03 11:41:14 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-03 11:41:14 +0100 |
| commit | fd78e72b45e3e78286f2c68d2abe743da0171c90 (patch) | |
| tree | 2109415a43946ddd2ba485a953f91252c2f62543 /Precond.agda | |
| parent | 19670abeff9895de593ef26ad2da247ae590ce90 (diff) | |
| download | bidiragda-fd78e72b45e3e78286f2c68d2abe743da0171c90.tar.gz | |
add a GetV-to-GetL transformer
This is an improved version of getVec-to-getList in that it also
transports the corresponding free theorem.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions