git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 14:25:59 +0000 (16:25 +0200)
committer	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 14:25:59 +0000 (16:25 +0200)
commit	8c24f2ae3691104a9812830457abe4e6ee65078b
tree	d6a846a6578f88ce300afe6cc9f318c2ff359dc5	tree \| snapshot
parent	b639a96f17cdd8ebe57544e503bdef14779dc699	commit \| diff

Make more names unqualified when importing Map and reorganization+cleaning

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

My fork of cubicaltt with web interface using Reflex.