projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed5b619) | patch
if A and B are isomorphic, set A -> set B, normal form
authorcoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 13:59:48 +0000 (15:59 +0200)
committercoquand <coquand@chalmers.se>
Sun, 19 Apr 2015 13:59:48 +0000 (15:59 +0200)
commit79268de7ac914d5977b05b26da855bd3f8a6d033
tree9a56711d75e1207152d0080e6a451bd585d8da9ftree | snapshot
parented5b619dd908d4188c5c58c6b3aba5d0e78e41b7commit | diff
if A and B are isomorphic, set A -> set B, normal form
examples/prop.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.