tweak week2

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

diff --git a/week2.mdwn b/week2.mdwn
index 15995e8..21c423e 100644 (file)
--- a/week2.mdwn
+++ b/week2.mdwn
@@ -26,13 +26,13 @@ Combinators and Combinatorial Logic
 
 Lambda expressions that have no free variables are known as **combinators**. Here are some common ones:
 
-<pre>
+<blockquote>
 **I** is defined to be `\x x`<p>
 **K** is defined to be `\x y. x`, That is, it throws away its second argument. So `K x` is a constant function from any (further) argument to `x`. ("K" for "constant".) Compare K to our definition of **true**.<p>
 **get-first** was our function for extracting the first element of an ordered pair: `\fst snd. fst`. Compare this to K and true as well.<p>
 **get-second** was our function for extracting the second element of an ordered pair: `\fst snd. snd`. Compare this to our definition of false.<p>
 **&omega;** is defined to be: `\x. x x`<p>
-</pre>
+</blockquote>
 
 It's possible to build a logical system equally powerful as the lambda calculus (and readily intertranslatable with it) using just combinators, considered as atomic operations. Such a language doesn't have any variables in it: not just no free variables, but no variables at all.