]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2a4fe4) | patch
added thierrys examples (funext from univalence,helix)
authorSimon Huber <hubsim@gmail.com>
Sun, 12 Apr 2015 08:37:17 +0000 (10:37 +0200)
committerSimon Huber <hubsim@gmail.com>
Sun, 12 Apr 2015 08:37:17 +0000 (10:37 +0200)
commit304e4e48b80bf99ba9006ad90a7934207f719408
treeb9db585b6f4d44659b84c8bff3aff51a771f9725tree | snapshot
parentd2a4fe41addbf30bef092a717dc5bbaf4da7864bcommit | diff
added thierrys examples (funext from univalence,helix)
examples/funext.ctt [new file with mode: 0644] blob
examples/helix.ctt [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.