FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookup∘update′
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:56:30 +0000 (21:56 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:56:30 +0000 (21:56 +0200)
commite83a3b6cce71c20ffb83475c2660e9500d18798e
tree99b509db7ff71d4305f50ccd72f8f25c0d5494c6
parent121094635514bf07bb91d6b7d16a45674c74f34e
FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookup∘update′
FinMap.agda
Precond.agda