X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment2.mdwn;h=f6bde83dc1c5351567884ff3f7c61f8b3b23be64;hp=04c3a282de2d35b47efc56d066d6a1291a49acc8;hb=ffe08a8b7b983eb0919882f2a2e9c72aa27394ea;hpb=6e55a9652a8a082eceb8efaa0eedbce91a79716f
diff --git a/assignment2.mdwn b/assignment2.mdwn
index 04c3a282..f6bde83d 100644
--- a/assignment2.mdwn
+++ b/assignment2.mdwn
@@ -1,3 +1,39 @@
+More Lambda Practice
+--------------------
+
+Insert all the implicit `( )`s and λ
s into the following abbreviated expressions:
+
+1. `x x (x x x) x`
+2. `v w (\x y. v x)`
+3. `(\x y. x) u v`
+4. `w (\x y z. x z (y z)) u v`
+
+Mark all occurrences of `x y` in the following terms:
+
+
zero ≡ \s z. z