projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Fri, 3 Jul 2015 11:16:12 +0000 (13:16 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Fri, 3 Jul 2015 11:16:12 +0000 (13:16 +0200) | ||
| commit | d9a32930eff979e763bf85a635d0e47025c343c6 | |
| tree | 9538a4f569ec3f1e30bcc3dd54dba01816990714 | tree | snapshot |
| parent | 9255242243e9c0df91bdee273afe338b4e4cf930 | commit | diff |
| parent | 19ab11cc9b2ffe5b62d72806b3ee023fb84b4c55 | commit | diff |
| examples/univalence.ctt | diff1 | | diff2 | | blob | history |