git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

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

author	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 13:53:22 +0000 (15:53 +0200)
committer	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 13:53:22 +0000 (15:53 +0200)
commit	b639a96f17cdd8ebe57544e503bdef14779dc699
tree	364582530a30286da4dd163f3607c7a8462fdb7f	tree \| snapshot
parent	7b8926c4cf9aa52f8c2c84361fafb82e621f3225	commit \| diff

Improve printing of fst and snd

CTT.hs		diff \| blob \| blame \| history
Connections.hs		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.