projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e708c6) | patch
Fix printing of fst, snd and lambdas
authorAnders <mortberg@chalmers.se>
Tue, 14 Apr 2015 14:55:04 +0000 (16:55 +0200)
committerAnders <mortberg@chalmers.se>
Tue, 14 Apr 2015 14:55:04 +0000 (16:55 +0200)
commita1484035452835bd826609f7025469e460ad6810
treefee52c1e8b131fa0e07fea7e3f823f8748b7b8d9tree | snapshot
parent4e708c67792dfafb3c87699462a8666fc9a40efbcommit | diff
Fix printing of fst, snd and lambdas
CTT.hs diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.