remove lemma-lookupM-insert in favour of lookup∘update
authorHelmut Grohne <helmut@subdivi.de>
Tue, 2 Jan 2018 04:01:56 +0000 (05:01 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 2 Jan 2018 04:01:56 +0000 (05:01 +0100)
commit3ab245029ac43720a71dfd9c9a15e91f2312f069
treea42db2817ef56f0d5afea769dc4de8425eff2f15
parentab79a2e7b7c10306493cb6e61eb10f3b4e114cf3
remove lemma-lookupM-insert in favour of lookup∘update
Bidir.agda
FinMap.agda