projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Fri, 3 Jul 2015 11:15:06 +0000 (13:15 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Fri, 3 Jul 2015 11:15:06 +0000 (13:15 +0200) | ||
| commit | 9255242243e9c0df91bdee273afe338b4e4cf930 | |
| tree | 53d9f99c8f94d2d56d8454211c794578782001e4 | tree | snapshot |
| parent | 19ed1a3e02b929f33f208c2e1650e8859a0a5a42 | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | diff | blob | blame | history |