git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Thu, 4 Jun 2015 16:03:22 +0000 (18:03 +0200)
committer	Simon Huber <hubsim@gmail.com>
	Thu, 4 Jun 2015 16:03:22 +0000 (18:03 +0200)
commit	a1ee1930644ca12e2b21ee8e38fbb6ad5a11a04d
tree	c4b55f069626f94a324211d4d9a07619cfa73842	tree \| snapshot
parent	c72cfbea180c9ac8342edb99f1df6438489a4068	commit \| diff

Added fill as a term and comp is now genComp

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

My fork of cubicaltt with web interface using Reflex.