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: bdcb90f) | patch

author	Simon Huber <hubsim@gmail.com>
	Thu, 4 Jun 2015 10:49:29 +0000 (12:49 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Thu, 4 Jun 2015 10:52:21 +0000 (12:52 +0200)
commit	0e3f53db68dc291141268e890ce17ee39bc8014c
tree	d9aa8e41946864bc155e0859651022cb255d9438	tree \| snapshot
parent	bdcb90f823a9025a4b9cb7194ed7bd9d4abab01a	commit \| diff

Adapted HITs

CTT.hs		diff \| blob \| history
Eval.hs		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history
examples/int.ctt		diff \| blob \| history
examples/integer.ctt		diff \| blob \| history
examples/nat.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.