author | Anders Mörtberg <andersmortberg@gmail.com> | |
Mon, 4 Jan 2016 18:44:13 +0000 (19:44 +0100) | ||
committer | Anders Mörtberg <andersmortberg@gmail.com> | |
Mon, 4 Jan 2016 18:44:13 +0000 (19:44 +0100) | ||
commit | 2bae4a685c7418bfff34257beb2231b2e47d8f95 | |
tree | fe45dcc95ee9ab951f34f41e565395605e8e0634 | tree | snapshot |
parent | 26b70046ce7e45197f14ead82daae7e0354e9945 | commit | diff |
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 |