Syntax
------
-Insert all the implicit `( )`s and <code>λ</code>s into the following abbreviated expressions.
+Insert all the implicit `( )`s and <code>λ</code>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)`
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)