Add support for pretty printing lambda calculus.
[matthijs/master-project/report.git] / pret-lam.lua
2009-06-10 Matthijs KooijmanAdd support for pretty printing lambda calculus.