diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-04-19 11:58:40 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-04-19 11:58:40 +0200 |
| commit | fcf8bd5d0530dd6b05ba5c2931a66171b823e651 (patch) | |
| tree | b0e7bb8582dc2c46a80f3417c5572e81deb39008 /CheckInsert.agda | |
| parent | 7c3e2c61e55aa876f88fbd34c94ccfb0a8c715d4 (diff) | |
| download | bidiragda-fcf8bd5d0530dd6b05ba5c2931a66171b823e651.tar.gz | |
FinMap: lemma-lookupM-restrict drop useless implicit
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions