projects / cubicaltt.git / commit
| author | Anders Mörtberg <mortberg@chalmers.se> | |
| Thu, 2 Jul 2015 07:18:40 +0000 (09:18 +0200) | ||
| committer | Anders Mörtberg <mortberg@chalmers.se> | |
| Thu, 2 Jul 2015 07:18:40 +0000 (09:18 +0200) | ||
| commit | e94459102658f0013511af99ae0821c2daa4697b | |
| tree | 3ce4fbd43ef9a1986692150d869f47d72c9fdaff | tree | snapshot |
| parent | 19ed1a3e02b929f33f208c2e1650e8859a0a5a42 | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |