continue debug
authorJim Pryor <profjim@jimpryor.net>
Mon, 27 Sep 2010 01:20:17 +0000 (21:20 -0400)
committerJim Pryor <profjim@jimpryor.net>
Mon, 27 Sep 2010 01:20:17 +0000 (21:20 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week3a.mdwn

index fd2c672..3ed45ae 100644 (file)
@@ -211,7 +211,9 @@ Instead of writing out a long formula twice, we could write:
 
 and the initial `(\x. x x)` is just what we earlier called the <code>&omega;</code> combinator (lower-case omega, not the non-terminating <code>&Omega;</code>). So the self-application of `H` can be written:
 
 
 and the initial `(\x. x x)` is just what we earlier called the <code>&omega;</code> combinator (lower-case omega, not the non-terminating <code>&Omega;</code>). So the self-application of `H` can be written:
 
-       &omega; (\h \lst. (isempty lst) zero (add one ((h h) (extract-tail lst))))
+<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.
 
 
 and this will indeed implement the recursive function we couldn't earlier figure out how to define.