projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Thu, 30 Apr 2015 10:23:58 +0000 (12:23 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Thu, 30 Apr 2015 10:23:58 +0000 (12:23 +0200) | ||
| commit | 87f4b8e677c012d217b70538e055d868b2c3ed2c | |
| tree | d99ba61942d89c0714c1a84ea70aebd4e999abe6 | tree | snapshot |
| parent | 965cc99c0539aeb52957a17314ee339c09b8ac1f | commit | diff |
| examples/sigma.ctt | diff | blob | blame | history | |
| examples/univalence.ctt | [new file with mode: 0644] | blob |