projects / cubicaltt.git / commit
| author | Simon Huber <hubsim@gmail.com> | |
| Fri, 11 Sep 2015 20:18:54 +0000 (22:18 +0200) | ||
| committer | Simon Huber <hubsim@gmail.com> | |
| Thu, 26 Nov 2015 17:25:46 +0000 (18:25 +0100) | ||
| commit | 84b57eb06f65b4d02d05858d0a81202135acbb21 | |
| tree | 555715a237e719c79bf296e51d28a4a9c87bd541 | tree | snapshot |
| parent | c6b822ac084a4472256bbccca2d4e1f2d289d48e | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |