]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit
projects / cubicaltt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5239000) | patch
Initial commit
authorAnders <mortberg@chalmers.se>
Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)
committerAnders <mortberg@chalmers.se>
Thu, 26 Feb 2015 13:35:29 +0000 (14:35 +0100)
commita7fb332b67b31ab9e2cc2f2b36a550bbf3259e37
treedbd572e3d0a4d7ce7b66970f0ef601d294adce66tree | snapshot
parent523900054ded05d624253b7d1a052a3f4f166283commit | diff
Initial commit
Eval.hs [new file with mode: 0644] blob
Exp.cf [new file with mode: 0644] blob
Main.hs [new file with mode: 0644] blob
Makefile [new file with mode: 0644] blob
Resolver.hs [new file with mode: 0644] blob
TT.hs [new file with mode: 0644] blob
TypeChecker.hs [new file with mode: 0644] blob
examples/nat.tt [new file with mode: 0644] blob
minitt.el [new file with mode: 0644] blob
My fork of cubicaltt with web interface using Reflex.