git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Simon Huber <hubsim@gmail.com>
	Tue, 24 Mar 2015 15:00:22 +0000 (16:00 +0100)
committer	Simon Huber <hubsim@gmail.com>
	Tue, 24 Mar 2015 15:00:22 +0000 (16:00 +0100)
commit	2728606117b88e20578bbdc19af3f0299235ee82
tree	88dee83bbadd3d79387b6173a8f69f714ff579f2	tree \| snapshot
parent	4aab64254d87eac44a8b53b859700c531611e43c	commit \| diff

added compElem and elimComp (still buggy)

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
examples/bool.ctt		diff \| blob \| blame \| history
examples/nat.ctt		diff \| blob \| blame \| history
examples/prelude.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.