FinMap.lemma-tabulate-∘ is also known as Data.Vec.Properties.tabulate-cong
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:23:11 +0000 (21:23 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 19:23:11 +0000 (21:23 +0200)
commit50f61bef184194fc48dd1415800830d032495f51
tree0d5b30b9a1e491d8554c96be2c98a8103e6fd737
parent4d2b9ba79a5a35ad63ee941f0681697cf017dfd0
FinMap.lemma-tabulate-∘ is also known as Data.Vec.Properties.tabulate-cong
FinMap.agda
Precond.agda