git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 0af46c8) | patch

author	Simon Huber <hubsim@gmail.com>
	Wed, 29 Apr 2015 14:16:03 +0000 (16:16 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Wed, 29 Apr 2015 14:16:03 +0000 (16:16 +0200)
commit	555527f1ae0bd534c2ca8c8982b579cc2aa42094
tree	7f8b8542ea6f9299d02bcbd392fdac194572569a	tree \| snapshot
parent	0af46c80d95a885230e71ff82ec7b406c6646ea7	commit \| diff

added glueLine (wip)

CTT.hs		diff \| blob \| history
Eval.hs		diff \| blob \| history
Exp.cf		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history
examples/prelude.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.