]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1734296) | patch
add standard formulation of univalence
authorAnders Mörtberg <andersmortberg@gmail.com>
Wed, 30 Dec 2015 18:58:37 +0000 (19:58 +0100)
committerAnders Mörtberg <andersmortberg@gmail.com>
Wed, 30 Dec 2015 18:58:37 +0000 (19:58 +0100)
commit3d43f42aec55f0b8b423d12f28abde0bd9b4dae4
tree6ac2084bf954be2c29851209bf7af830640c5b6ctree | snapshot
parent1734296b471973ea149eb857b8249206f4930b3bcommit | diff
add standard formulation of univalence
examples/testContr.ctt diff | blob | history
My fork of cubicaltt with web interface using Reflex.