git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

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

author	Anders <mortberg@chalmers.se>
	Wed, 6 May 2015 09:53:58 +0000 (11:53 +0200)
committer	Anders <mortberg@chalmers.se>
	Wed, 6 May 2015 09:53:58 +0000 (11:53 +0200)
commit	82698b62f7731e142499eac837c1eca579db405a
tree	bae09535bc7b4fbe6eb93fa2c706bdcf89e57200	tree \| snapshot
parent	b7dc798cfd25d93c814d15b465091c20d0a9663b	commit \| diff

More efficient implementation of environments

CTT.hs		diff \| blob \| history
Eval.hs		diff \| blob \| history
TypeChecker.hs		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.