week1: fix markup processing?

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

diff --git a/week1.mdwn b/week1.mdwn
index c13fa7c..67dce38 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -651,8 +651,6 @@ Here's how it looks to say the same thing in various of these languages.
 
        or in other words, interpret the rest of the file or interactive session with `bar` assigned the function `(lambda (x) B)`.
 
 
        or in other words, interpret the rest of the file or interactive session with `bar` assigned the function `(lambda (x) B)`.
 

-<!--
-

 
 10.    Shadowing
 
 
 10.    Shadowing
 


@@ -675,6 +673,8 @@ Here's how it looks to say the same thing in various of these languages.
 
        and there's no more mutation going on there than there is in:
 
 
        and there's no more mutation going on there than there is in:
 

+<!--
+

        <pre>
        <code>&forall;x. (F x or &forall;x (not (F x)))</code>
        </pre>
        <pre>
        <code>&forall;x. (F x or &forall;x (not (F x)))</code>
        </pre>