Only show second part of VPi x (VLam ...)
authorAnders Mörtberg <mortberg@chalmers.se>
Fri, 17 Apr 2015 08:50:01 +0000 (10:50 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Fri, 17 Apr 2015 08:50:01 +0000 (10:50 +0200)
commitc2ddee06257a13823a6a3abcecb87d30473b6e79
treeb9c4fd08b00ee305c0ecde4749177da9795692f6
parent905b6a4f14d082b3e74976c279f1e64b83298528
Only show second part of VPi x (VLam ...)
CTT.hs