X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=exercises%2Fassignment2.mdwn;h=a88463255516dc895eca0b0306de17ac63bad7a5;hb=6e8c0b6ef145063c3ad51bba4bf46061f40674c7;hp=dff7cc23bd9cf2254776bdc9ce3f87b1afd4f133;hpb=9702fd402cc14d8ce3015efa9050ec32ef5c88c1;p=lambda.git
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)