]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9766157) | patch
updated proofs of Hedberg's Theorem
authorcoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 14:57:12 +0000 (16:57 +0200)
committercoquand <coquand@chalmers.se>
Tue, 21 Apr 2015 14:57:12 +0000 (16:57 +0200)
commitcde2f940f123bedcb5b461691b08a676e2a04875
tree6866ff43bb6c9a246856d9b2a7dc7cd5b680e1e2tree | snapshot
parent9766157e93a1e6826e2e5df7b1ce6ac3165ea541commit | diff
updated proofs of Hedberg's Theorem
examples/newhedberg.ctt diff | blob | history
examples/other.ctt [new file with mode: 0644] blob
examples/prelude.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.