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: 93abc9c) | patch

author	Simon Huber <hubsim@gmail.com>
	Wed, 8 Apr 2015 20:14:55 +0000 (22:14 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Wed, 8 Apr 2015 20:14:55 +0000 (22:14 +0200)
commit	ba51720d4d47b15ae3ec87ca60c3e83ee91ada13
tree	5ac0d066357bcded77d722c043843f811ffb8712	tree \| snapshot
parent	93abc9c7bbd55881e49e7f87483cb5cc5a877cf8	commit \| diff

split annotation is now the type not the family; typo in eval fixed

Eval.hs		diff \| blob \| history
Resolver.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.