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
treefe45dcc95ee9ab951f34f41e565395605e8e0634
parent26b70046ce7e45197f14ead82daae7e0354e9945
Cleaning and removal of duplicate code. Put all proofs of univalence in the same file
examples/equiv.ctt
examples/prelude.ctt
examples/testContr.ctt [deleted file]
examples/univalence.ctt [new file with mode: 0644]