projects / ~helmut / bidiragda.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25d4df9) | patch
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
treee2b8519ce63b03b470d970f8338048bdaac5597ftree | snapshot
parent25d4df9182c92ef26979566f06c7c9f17746f0fbcommit | diff
replace FinMap.lemma-lookupM-empty with Data.Vec.Properties.lookup-replicate
FinMap.agda diff | blob | history
Precond.agda diff | blob | history
Bidirectionalization for Free in Agda (http://subdivi.de/~helmut/academia/fsbxia.pdf)