projects / cubicaltt-web.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 4 Jan 2016 18:47:44 +0000 (19:47 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Mon, 4 Jan 2016 18:47:44 +0000 (19:47 +0100) | ||
| commit | cf484ebee67f773b3cef8ccaab361d773016a711 | |
| tree | 40af20f7c9cade024f8514b8342fb41c44bc8132 | tree | snapshot |
| parent | 2bae4a685c7418bfff34257beb2231b2e47d8f95 | commit | diff |
| examples/testUniv.ctt | [deleted file] | blob | history |
| examples/univalence.ctt | diff | blob | history |