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
-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.