git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Wed, 3 Jun 2015 15:16:08 +0000 (17:16 +0200)
committer	Anders <mortberg@chalmers.se>
	Wed, 3 Jun 2015 15:16:08 +0000 (17:16 +0200)
commit	c98ad6506c0a18c7d2ab3f40a5dc1778db4f9cf9
tree	8966bd127cbec9980be678b351d1131b9a097290	tree \| snapshot
parent	aa4323460955611ed3a93f690fd51e2ec1adc176	commit \| diff

isNeutralComp, small fixes to comp and comment things in bool

CTT.hs		diff \| blob \| blame \| history
Eval.hs		diff \| blob \| blame \| history
examples/bool.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.