projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26b7004) | patch
Cleaning and removal of duplicate code. Put all proofs of univalence in the same...
authorAnders Mörtberg <andersmortberg@gmail.com>
Mon, 4 Jan 2016 18:44:13 +0000 (19:44 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Mon, 4 Jan 2016 18:44:13 +0000 (19:44 +0100)
commit2bae4a685c7418bfff34257beb2231b2e47d8f95
treefe45dcc95ee9ab951f34f41e565395605e8e0634tree | snapshot
parent26b70046ce7e45197f14ead82daae7e0354e9945commit | diff
Cleaning and removal of duplicate code. Put all proofs of univalence in the same file
examples/equiv.ctt diff | blob | blame | history
examples/prelude.ctt diff | blob | blame | history
examples/testContr.ctt [deleted file] blob | blame | history
examples/univalence.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.