X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=inline;f=assignment2.mdwn;h=3e932561960bbc7792c34d868ea008aee1b2fb25;hb=3de7188739d607c5430e6180497f7c9866bbcd2c;hp=066f1b1f60b6863e8738e2604bd2d8748b53a7ed;hpb=7bffcdc79c27f459cb7d451f23b4ce8e5b39b125;p=lambda.git diff --git a/assignment2.mdwn b/assignment2.mdwn index 066f1b1f..3e932561 100644 --- a/assignment2.mdwn +++ b/assignment2.mdwn @@ -1,3 +1,6 @@ +For these assignments, you'll probably want to use our [[lambda evaluator]] to check your work. This accepts any grammatical lambda expression and reduces it to normal form, when possible. + + More Lambda Practice -------------------- @@ -30,6 +33,36 @@ Reduce to beta-normal forms: