]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34b0cdd) | patch
add the correct normal form of univalence
authorAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:36:05 +0000 (12:36 -0500)
committerAnders Mörtberg <andersmortberg@gmail.com>
Sat, 23 Jan 2016 17:36:05 +0000 (12:36 -0500)
commit6b15e72200a481b963adf8f5f1500f679165c03f
treef860a40b6ea0e28d35b9d6fffc6547fcf8d57fb4tree | snapshot
parent34b0cddfa9dccbd77b306a8f586f1e9a8b367456commit | diff
add the correct normal form of univalence
examples/nthmUniv.ctt [new file with mode: 0644] blob
examples/nunivalence.ctt [deleted file] blob | history
My fork of cubicaltt with web interface using Reflex.