X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=assignment1.mdwn;h=430f3c8448b81faed7eddaa5d6c744aefbb43699;hp=4980cc2714311f140e0d465b374e7e494d0263c5;hb=29de81dde7a45df279dd9c2cc7b8efd44fb3ee8d;hpb=a1bb9458275d3da01448d6ad4a7b4a8d502b27cb

diff --git a/assignment1.mdwn b/assignment1.mdwn
index 4980cc27..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*