(no commit message)

diff --git a/assignment1.mdwn b/assignment1.mdwn
index 4980cc2..e6fe829 100644 (file)
--- 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):
 
 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*
 
 
 *Booleans*