week4 tweaks

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

diff --git a/week4.mdwn b/week4.mdwn
index 83d54df..11eea4c 100644 (file)
--- a/week4.mdwn
+++ b/week4.mdwn
@@ -8,7 +8,8 @@ TX` (that's what it means to *have* a fixed point).
 
 <pre><code>let L = \x. T (x x) in
 let X = L L in
 
 <pre><code>let L = \x. T (x x) in
 let X = L L in

-X &equiv; L L &equiv; (\x. T (x x)) L ~~> T (L L) &equiv; T X</code></pre>
+X &equiv; L L &equiv; (\x. T (x x)) L ~~> T (L L) &equiv; T X
+</code></pre>

 
 Please slow down and make sure that you understand what justified each
 of the equalities in the last line.
 
 Please slow down and make sure that you understand what justified each
 of the equalities in the last line.