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: 0160f7b) | patch

author	Anders <mortberg@chalmers.se>
	Tue, 21 Apr 2015 15:59:11 +0000 (17:59 +0200)
committer	Anders <mortberg@chalmers.se>
	Tue, 21 Apr 2015 15:59:11 +0000 (17:59 +0200)
commit	81074932263f58ada989f8a85d6b1f81be8c78b7
tree	c3b962a09f91f066e8958f5a44958a880a4fb15e	tree \| snapshot
parent	0160f7b3c8c9f896ec92ad77e4e9a1d09fff11a4	commit \| diff

Add normalization of environments

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

My fork of cubicaltt with web interface using Reflex.