projects / cubicaltt.git / commit
| author | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 14 Jan 2016 15:36:33 +0000 (10:36 -0500) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Thu, 14 Jan 2016 15:36:33 +0000 (10:36 -0500) | ||
| commit | 779b4c51ecff533888c032d153c5f1891013649f | |
| tree | 610179ed1e343e4c6e8ef3b6dd8cade3f342d98c | tree | snapshot |
| parent | f3ca9663d5eb0800cec08ab3dd5d12791582792f | commit | diff |
| examples/univalence.ctt | diff | blob | blame | history |