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: 44fd023) | patch

author	Anders <mortberg@chalmers.se>
	Tue, 21 Apr 2015 12:38:16 +0000 (14:38 +0200)
committer	Anders <mortberg@chalmers.se>
	Tue, 21 Apr 2015 12:38:16 +0000 (14:38 +0200)
commit	9766157e93a1e6826e2e5df7b1ce6ac3165ea541
tree	a08cda1259c336eff58bf0bb16dcfeb141b72cf8	tree \| snapshot
parent	44fd02302ef033a09a9f008d4645a6d8e55ddb94	commit \| diff

Improve printing of lambdas and paths

CTT.hs		diff \| blob \| history
examples/prop.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.