X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week4.mdwn;h=11eea4cde16c5fcd366d18495260f0a5f3892a9b;hp=83d54df1dd9e183364f39143c78d040a9d419ccb;hb=8277b2427a86c3f40f882bcd78c63bc3fd4c80f9;hpb=335ce8bda8cc7d2bd46710cf024454cca9a21fee

diff --git a/week4.mdwn b/week4.mdwn
index 83d54df1..11eea4cd 100644
--- 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.