X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment2.mdwn;h=a88463255516dc895eca0b0306de17ac63bad7a5;hp=dff7cc23bd9cf2254776bdc9ce3f87b1afd4f133;hb=67cb14b0d6067d3024d34c8e72febd07b8f33b3f;hpb=9702fd402cc14d8ce3015efa9050ec32ef5c88c1;ds=sidebyside diff --git a/exercises/assignment2.mdwn b/exercises/assignment2.mdwn index dff7cc23..a8846325 100644 --- a/exercises/assignment2.mdwn +++ b/exercises/assignment2.mdwn @@ -1,7 +1,7 @@ Syntax ------ -Insert all the implicit `( )`s and λs into the following abbreviated expressions. +Insert all the implicit `( )`s and λs into the following abbreviated expressions. Don't just insert them *freely*; rather, provide the official expression, without any notational shortcuts, that is syntactically identical to the form presented. 1. `x x (x x x) x` 2. `v w (\x y. v x)` @@ -51,11 +51,11 @@ In Racket, these functions can be defined like this: 15. Define a `neg` operator that negates `true` and `false`. - Expected behavior: + Expected behavior: (((neg true) 10) 20) - evaluates to `20`, and + evaluates to `20`, and (((neg false) 10) 20)