git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Mon, 23 Mar 2015 17:13:12 +0000 (18:13 +0100)
committer	Anders <mortberg@chalmers.se>
	Mon, 23 Mar 2015 17:13:12 +0000 (18:13 +0100)
commit	02cb774a6b3303f45818cb1bb972ee5846171864
tree	e7f8499f2615b7b816b50d3fb7c08b0b31d16ec6	tree \| snapshot
parent	4213438cc6bdaf468f8472b20a27d79f449df8bb	commit \| diff

Finish adding glue

Eval.hs		diff \| blob \| blame \| history
Exp.cf		diff \| blob \| blame \| history
Resolver.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history
cubical.el		diff \| blob \| blame \| history
examples/bool.ctt	[new file with mode: 0644]	blob
examples/nat.ctt		diff \| blob \| blame \| history
examples/prelude.ctt	[new file with mode: 0644]	blob

My fork of cubicaltt with web interface using Reflex.