git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Wed, 25 Mar 2015 18:06:44 +0000 (19:06 +0100)
committer	Anders <mortberg@chalmers.se>
	Wed, 25 Mar 2015 18:06:44 +0000 (19:06 +0100)
commit	3a1e275825ff61e0a3efe2e5197340d25110612a
tree	29159daea794f122bf272a548c217c077dc2818a	tree \| snapshot
parent	4dfc94192396c19e683e5fac8d006fdf66dda110	commit \| diff

Add HITs (parsing and resolver missing)

CTT.hs		diff \| blob \| blame \| history
Eval.hs		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.