projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02cb774) | patch
enhanced and renamed emacs mode
authorSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 09:59:55 +0000 (10:59 +0100)
committerSimon Huber <hubsim@gmail.com>
Tue, 24 Mar 2015 09:59:55 +0000 (10:59 +0100)
commitbb7856dbce4f4b27cb603a6a3e2463857b81e91c
treecc2b4e87dfea70fbca8784a61b272babe3370d0etree | snapshot
parent02cb774a6b3303f45818cb1bb972ee5846171864commit | diff
enhanced and renamed emacs mode
Makefile diff | blob | blame | history
TypeChecker.hs diff | blob | blame | history
cubical.el [deleted file] blob | blame | history
cubicaltt.el [new file with mode: 0644] blob
examples/nat.ctt diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.