X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment2.mdwn;h=85ec6ce71385d856231a482a0bdc74a4aaaa1e16;hp=066f1b1f60b6863e8738e2604bd2d8748b53a7ed;hb=70fdac4d0a4db28dc391e3ea13b9c590b6ef9760;hpb=7bffcdc79c27f459cb7d451f23b4ce8e5b39b125 diff --git a/assignment2.mdwn b/assignment2.mdwn index 066f1b1f..85ec6ce7 100644 --- a/assignment2.mdwn +++ b/assignment2.mdwn @@ -1,3 +1,6 @@ +For these assignments, you'll probably want to use a "lambda calculator" to check your work. This accepts any grammatical lambda expression and reduces it to normal form, when possible. See the page on [[using the programming languages]] for instructions and links about setting this up. + + More Lambda Practice -------------------- @@ -30,6 +33,36 @@ Reduce to beta-normal forms: