From: Jim Pryor <profjim@jimpryor.net>
Date: Sun, 3 Oct 2010 19:43:18 +0000 (-0400)
Subject: week4 tweaking
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=0ba095c6cd0331481a1454283ceeb14be690b5b8;ds=sidebyside

week4 tweaking

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/week4.mdwn b/week4.mdwn
index fb843462..f92ea169 100644
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -27,11 +27,13 @@ of `T`, by the reasoning in the previous answer.
 A: Right:
 
 <pre><code>let Y = \T. (\x. T (x x)) (\x. T (x x)) in
-Y Y &equiv; \T. (\x. T (x x)) (\x. T (x x)) Y
+Y Y
+&equiv;   \T. (\x. T (x x)) (\x. T (x x)) Y
 ~~> (\x. Y (x x)) (\x. Y (x x))
 ~~> Y ((\x. Y (x x)) (\x. Y (x x)))
 ~~> Y (Y ((\x. Y (x x)) (\x. Y (x x))))
-~~> Y (Y (Y (...(Y (Y Y))...)))</code></pre>
+~~> Y (Y (Y (...(Y (Y Y))...)))
+</code></pre>
 
 
 #Q: Ouch!  Stop hurting my brain.#