X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week3.mdwn;fp=week3.mdwn;h=b29d095a1f8157725ec1febe67ccfa3abf9663b7;hp=2252387901d684991786876e358db78025890d9f;hb=907333f2da479e56260db4b365927ae93eff9dda;hpb=f394990ac8c3fc0284ccb4df10872f44f1855191

diff --git a/week3.mdwn b/week3.mdwn
index 22523879..b29d095a 100644
--- a/week3.mdwn
+++ b/week3.mdwn
@@ -214,6 +214,7 @@ and the initial `(\x. x x)` is just what we earlier called the <code>&omega;</co
 <pre><code>&omega; (\h \lst. (isempty lst) zero (add one ((h h) (extract-tail lst))))
 </code></pre>
 
+
 and this will indeed implement the recursive function we couldn't earlier figure out how to define.
 
 In broad brush-strokes, `H` is half of the `get_length` function we're seeking, and `H` has the form: