]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0792d79) | patch
cleaning and a version of univalence for Id
authorAnders Mörtberg <andersmortberg@gmail.com>
Tue, 26 Jul 2016 15:18:54 +0000 (17:18 +0200)
committerAnders Mörtberg <andersmortberg@gmail.com>
Fri, 29 Jul 2016 09:46:35 +0000 (11:46 +0200)
commit2042669361bd5384232aabfcf2d0ce5ecb659a3e
tree6913e8006620ebbbaee981f9c20f541320f68c1ftree | snapshot
parent0792d7900ab6713851c8d80576d1fdecde9189c5commit | diff
cleaning and a version of univalence for Id
CTT.hs diff | blob | history
examples/idtypes.ctt [moved from examples/eq.ctt with 58% similarity] diff | blob | history
My fork of cubicaltt with web interface using Reflex.