FinMap.lemma-lookupM-fromFunc is almost Data.Vec.Properties.lookup∘tabulate
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:47:21 +0000 (21:47 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:47:21 +0000 (21:47 +0200)
commit121094635514bf07bb91d6b7d16a45674c74f34e
treec7f9c952c05774fd78d9c25e615b0a4da26d6846
parent50f61bef184194fc48dd1415800830d032495f51
FinMap.lemma-lookupM-fromFunc is almost Data.Vec.Properties.lookup∘tabulate
Bidir.agda
FinMap.agda
Precond.agda