projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9876407) | patch
Finish binnat example and add elimination principles for equivalences and isomorphisms
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Apr 2016 18:13:02 +0000 (14:13 -0400)
committerAnders Mörtberg <andersmortberg@gmail.com>
Thu, 14 Apr 2016 18:13:02 +0000 (14:13 -0400)
commit51d1d2943b57c868ec0e46325514d8fc58dd0919
tree497f839f32fc23720d7d744d749e7a9fd538fcd7tree | snapshot
parent9876407a609b7ed1b0e3beb85d460b000b6531aacommit | diff
Finish binnat example and add elimination principles for equivalences and isomorphisms
examples/binnat.ctt diff | blob | blame | history
examples/univalence.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.