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

author	Simon Huber <hubsim@gmail.com>
	Sat, 18 Apr 2015 02:08:53 +0000 (04:08 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Sat, 18 Apr 2015 02:08:53 +0000 (04:08 +0200)
commit	6eff2ccd0a78b2410aee14454808abd59500923a
tree	719faefb4616f03a7e84165b26dada3e0efc60bc	tree \| snapshot
parent	aed955207f1d121d8c951238d7c304f9cdfa4d87	commit \| diff

wip (not working yet)

CTT.hs		diff \| blob \| history
Connections.hs		diff \| blob \| history
Eval.hs		diff \| blob \| history
Exp.cf		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.