]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74ebf46) | patch
simple tests for univalence
authorcoquand <coquand@chalmers.se>
Sun, 27 Dec 2015 09:09:05 +0000 (10:09 +0100)
committercoquand <coquand@chalmers.se>
Sun, 27 Dec 2015 09:09:05 +0000 (10:09 +0100)
commit3d2a7d4bee17a1a652ac05b6087b9d2c1761699a
tree6375778abf4dca84bf0603b50fecd110d56d880ctree | snapshot
parent74ebf46412a322712efc3658196ec2404faa663ccommit | diff
simple tests for univalence
examples/testUniv.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.