git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 13:52:59 +0000 (15:52 +0200)
committer	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 13:52:59 +0000 (15:52 +0200)
commit	7b8926c4cf9aa52f8c2c84361fafb82e621f3225
tree	fcce574915bd1ac124a91cd3ca2d16e3b8ec3739	tree \| snapshot
parent	ae85ca4c9118630219ebc3f76b20992b9d3f8463	commit \| diff

Remove commented code for GlueLine, GlueLineElem, CompElem and ElimComp

CTT.hs		diff \| blob \| blame \| history
Exp.cf		diff \| blob \| blame \| history
Resolver.hs		diff \| blob \| blame \| history
TypeChecker.hs		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.