]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a4c46c) | patch
Rename to cubical
authorAnders <mortberg@chalmers.se>
Wed, 18 Mar 2015 10:53:37 +0000 (11:53 +0100)
committerAnders <mortberg@chalmers.se>
Wed, 18 Mar 2015 10:53:37 +0000 (11:53 +0100)
commit85a3c08be20176ba5fc6062f962069a434cba8d1
tree43787f66501b01cb59605d5f4152aa4932d8cc3ctree | snapshot
parent6a4c46c9140266ce2db2f54479ee5f01dc2baa35commit | diff
Rename to cubical
Main.hs diff | blob | history
Makefile diff | blob | history
README.md diff | blob | history
cubical.el [new file with mode: 0644] blob
examples/nat.ctt [moved from examples/nat.tt with 100% similarity] blob | history
minitt.el [deleted file] blob | history
My fork of cubicaltt with web interface using Reflex.