week1: fix markup processing?

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

diff --git a/week1.mdwn b/week1.mdwn
index 36ebdfc..801ae69 100644 (file)
--- a/week1.mdwn
+++ b/week1.mdwn
@@ -59,6 +59,7 @@ We'll tend to write <code>(&lambda;a M)</code> as just `(\a M)`, so we don't hav
 
 Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
 
 
 Some authors reserve the term "term" for just variables and abstracts. We'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
 

+<div>

 Examples of expressions:
 
        x
 Examples of expressions:
 
        x


@@ -69,6 +70,7 @@ Examples of expressions:
        (\x (\y x))
        (x (\x x))
        ((\x (x x)) (\x (x x)))
        (\x (\y x))
        (x (\x x))
        ((\x (x x)) (\x (x x)))

+</div>

 
 The lambda calculus has an associated proof theory. For now, we can regard the
 proof theory as having just one rule, called the rule of **beta-reduction** or
 
 The lambda calculus has an associated proof theory. For now, we can regard the
 proof theory as having just one rule, called the rule of **beta-reduction** or