projects / cubicaltt-web.git / commit
| 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 | history | |
| examples/prelude.ctt | diff | blob | history | |
| examples/testContr.ctt | [deleted file] | blob | history |
| examples/univalence.ctt | [new file with mode: 0644] | blob |