diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 14:00:57 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-14 14:00:57 +0200 |
| commit | 27cf65ec6fe7c83d53fc8f9c4383041a5af882a2 (patch) | |
| tree | ff3a7c51d0a86328a31df800c7901addf37836b5 /Precond.agda | |
| parent | 585ebc3a11db7b6544817b6f527efcba48982d6c (diff) | |
| download | bidiragda-27cf65ec6fe7c83d53fc8f9c4383041a5af882a2.tar.gz | |
complete missing parts of LiftGet
Thanks to Joachim Breitner and Wouter Swierstra for their encouragement
and hints. Note that the result duplicates work at this point, but the
proofs are complete.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions