diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 16:02:21 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 16:02:21 +0100 |
| commit | ce9855e6c2e8b88499ebd9660e0cd225146c1b6b (patch) | |
| tree | 3fca54f2a92a2e16893a5e4092e25c72c7ef1831 /LiftGet.agda | |
| parent | 17fc54ef9c4367f89464290675cbcaaef0163301 (diff) | |
| download | bidiragda-ce9855e6c2e8b88499ebd9660e0cd225146c1b6b.tar.gz | |
add new functions delete, delete-many and partialize
and accompanying lemmata.
Diffstat (limited to 'LiftGet.agda')
0 files changed, 0 insertions, 0 deletions