From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 10 Jun 2009 11:12:55 +0000 (+0200)
Subject: Add support for pretty printing lambda calculus.
X-Git-Tag: final-thesis~333
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=95b1a682e51c47d635d5bafe75bd7096e8d4ec18;hp=95b1a682e51c47d635d5bafe75bd7096e8d4ec18

Add support for pretty printing lambda calculus.
---