From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 10 Jun 2009 11:43:51 +0000 (+0200)
Subject: Format the example sequence as lambda calculus.
X-Git-Tag: final-thesis~327
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=acb73f97bc84ec0445f364edf8264734c9413e9d;hp=acb73f97bc84ec0445f364edf8264734c9413e9d

Format the example sequence as lambda calculus.
---