From: barker <barker@web>
Date: Mon, 13 Sep 2010 13:21:59 +0000 (-0400)
Subject: (no commit message)
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=29de81dde7a45df279dd9c2cc7b8efd44fb3ee8d

---

diff --git a/assignment1.mdwn b/assignment1.mdwn
index e6fe829a..430f3c84 100644
--- a/assignment1.mdwn
+++ b/assignment1.mdwn
@@ -3,13 +3,13 @@
 Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce 
 them):
 
-  1. (\x \y. y x) z
-  2. (\x (x x)) z
-  3. (\x (\x x)) z
-  4. (\x (\z x)) z
-  5. (\x (x (\y y))) (\z (z z))
-  6. (\x (x x)) (\x (x x))
-  7. (\x (x x x)) (\x (x x x))
+    1. (\x \y. y x) z
+    2. (\x (x x)) z
+    3. (\x (\x x)) z
+    4. (\x (\z x)) z
+    5. (\x (x (\y y))) (\z (z z))
+    6. (\x (x x)) (\x (x x))
+    7. (\x (x x x)) (\x (x x x))
 
 
 *Booleans*