projects / cubicaltt.git / commit
| author | Anders <mortberg@chalmers.se> | |
| Thu, 18 Jun 2015 16:57:12 +0000 (18:57 +0200) | ||
| committer | Anders <mortberg@chalmers.se> | |
| Thu, 18 Jun 2015 16:57:12 +0000 (18:57 +0200) | ||
| commit | 67638e218f1c7f4c69d3df17628a246aa1e01e49 | |
| tree | 2203d5d6069a3eb9043f1bea1f650cbbc44892cb | tree | snapshot |
| parent | 881c63d11e61c4e2ead90fc940d2a9a1e2109609 | commit | diff |
| examples/univalence.ctt | diff | blob | blame | history |