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

---

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