Add support for pretty printing lambda calculus.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:12:55 +0000 (13:12 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 11:12:55 +0000 (13:12 +0200)
commit95b1a682e51c47d635d5bafe75bd7096e8d4ec18
tree749b275c2827f04fb5852c475ded54d8b36fc325
parentc09a54b4840b638d220a3c24c3fa8c1daea606e6
Add support for pretty printing lambda calculus.
Core2Core.tex
pret-lam.lua [new file with mode: 0644]