diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 21:56:30 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2019-03-31 21:56:30 +0200 |
| commit | e83a3b6cce71c20ffb83475c2660e9500d18798e (patch) | |
| tree | 99b509db7ff71d4305f50ccd72f8f25c0d5494c6 /Bidir.agda | |
| parent | 121094635514bf07bb91d6b7d16a45674c74f34e (diff) | |
| download | bidiragda-e83a3b6cce71c20ffb83475c2660e9500d18798e.tar.gz | |
FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookup∘update′
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions