Generic.just-injective is Data.Maybe.just-injective
authorHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 20:01:56 +0000 (22:01 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 31 Mar 2019 20:01:56 +0000 (22:01 +0200)
commit4071a4a9d85c7187b3a6d324e787adbe282817c0
tree76d0530f9d2f7f784cb9b98603066e955b27fc30
parente83a3b6cce71c20ffb83475c2660e9500d18798e
Generic.just-injective is Data.Maybe.just-injective
Bidir.agda
FinMap.agda
Generic.agda