]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdb08db) | patch
circle now works with this version of univalence
authorcoquand <coquand@chalmers.se>
Tue, 29 Dec 2015 11:42:12 +0000 (12:42 +0100)
committercoquand <coquand@chalmers.se>
Tue, 29 Dec 2015 11:42:12 +0000 (12:42 +0100)
commit6ac1b6e712452899fe6f49f68dfdaf0dbf25f4bc
tree6ee364689e8983f65aeaef99e5836454b11ded98tree | snapshot
parentcdb08db86114e129a3c5c3616bd439613964adcacommit | diff
circle now works with this version of univalence
examples/prelude.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.