From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 27 Jul 2009 11:37:46 +0000 (+0200)
Subject: Make ~ a symbol in lambda calculus.
X-Git-Tag: final-thesis~311
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;ds=sidebyside;h=7478246c37601e71a6b64b1bb19c4d74e1b34ff3;hp=7478246c37601e71a6b64b1bb19c4d74e1b34ff3;p=matthijs%2Fmaster-project%2Freport.git

Make ~ a symbol in lambda calculus.
---