replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:14:50 +0000 (21:14 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:14:50 +0000 (21:14 +0200)
commit4d2b9ba79a5a35ad63ee941f0681697cf017dfd0
treee2b8519ce63b03b470d970f8338048bdaac5597f
parent25d4df9182c92ef26979566f06c7c9f17746f0fb
replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
FinMap.agda
Precond.agda