projects / cubicaltt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd601a9) | patch
Also normalize the type of lambdas and print VPi nicer
authorAnders Mörtberg <mortberg@chalmers.se>
Fri, 17 Apr 2015 08:35:30 +0000 (10:35 +0200)
committerAnders Mörtberg <mortberg@chalmers.se>
Fri, 17 Apr 2015 08:35:30 +0000 (10:35 +0200)
commit905b6a4f14d082b3e74976c279f1e64b83298528
treec7c0c3c938ca01f67d45eba03ccc015cb36fc7eftree | snapshot
parentdd601a93439fdaf0251d66ed16b7e6c62a2bc416commit | diff
Also normalize the type of lambdas and print VPi nicer
CTT.hs diff | blob | blame | history
Eval.hs diff | blob | blame | history
Exp.cf diff | blob | blame | history
My fork of cubicaltt with web interface using Reflex.