projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 371e1dc) | patch
Clean up of univalence and add the definition of univalence using the map defined...
authorAnders Mörtberg <andersmortberg@gmail.com>
Mon, 11 Jul 2016 19:32:40 +0000 (21:32 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 11 Jul 2016 19:32:40 +0000 (21:32 +0200)
commit086ccda724185291b5ba5b846c3a8b2c34acc7c4
treea2635894715f01740281efb543a405b22bd7a716tree | snapshot
parent371e1dc0eb956858344091339d87d6e9c6b50efbcommit | diff
Clean up of univalence and add the definition of univalence using the map defined using J
examples/binnat.ctt diff | blob | blame | history
examples/prelude.ctt diff | blob | blame | history
examples/univalence.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.