Make ~ a symbol in lambda calculus.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:37:46 +0000 (13:37 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:37:46 +0000 (13:37 +0200)
commit7478246c37601e71a6b64b1bb19c4d74e1b34ff3
treed4258fe48b5722d522218afed07710b126453f0d
parentc4abca08c46358134e3f73b2904293ef7a21b8b7
Make ~ a symbol in lambda calculus.
pret-lam.lua