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

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*