git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Wed, 18 Mar 2015 17:20:06 +0000 (18:20 +0100)
committer	Anders <mortberg@chalmers.se>
	Wed, 18 Mar 2015 17:20:06 +0000 (18:20 +0100)
commit	67c202dfc27c22568c24be828b821732d33ca83a
tree	7c8cfb3479d4eebdd00f2f353a4b0ec3bcca4273	tree \| snapshot
parent	6922dabf06039c6aca04bcae02d233f17d413bc8	commit \| diff

Add Id, Path, AppFormula and Trans.

funExt is working!

CTT.hs		diff \| blob \| blame \| history
Connections.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/nat.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.