diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-12-07 00:08:07 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-12-07 00:08:07 +0100 |
| commit | 68c735629c8e4390b861c94d56c5c7785b4ab179 (patch) | |
| tree | 91e971b69014febe391b1257818a5baf1593f32d /FinMap.agda | |
| parent | ead32cdaae65f5b87bf0d6a6732239f52450becb (diff) | |
| download | bidiragda-68c735629c8e4390b861c94d56c5c7785b4ab179.tar.gz | |
reduce useless case in lemma-map-lookupM-assoc
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions