week1: fix markup processing?

[lambda.git] / week1.mdwn

diff --git a/week1.mdwn b/week1.mdwn
index 6773a77..67dce38 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -603,8 +603,6 @@ Here's how it looks to say the same thing in various of these languages.
 
        It's easy to be lulled into thinking this is a kind of imperative construction. *But it's not!* It's really just a shorthand for the compound "let"-expressions we've already been looking at, taking the maximum syntactically permissible scope. (Compare the "dot" convention in the lambda calculus, discussed above.)
 
 
        It's easy to be lulled into thinking this is a kind of imperative construction. *But it's not!* It's really just a shorthand for the compound "let"-expressions we've already been looking at, taking the maximum syntactically permissible scope. (Compare the "dot" convention in the lambda calculus, discussed above.)
 

-<!-- 
-

 9.     Some shorthand
 
        OCaml permits you to abbreviate:
 9.     Some shorthand
 
        OCaml permits you to abbreviate:


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