tweak lists_and_numbers

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

diff --git a/lists_and_numbers.mdwn b/lists_and_numbers.mdwn
index e3dd1fb..bde7c2f 100644 (file)
--- a/lists_and_numbers.mdwn
+++ b/lists_and_numbers.mdwn
@@ -262,7 +262,7 @@ three &equiv; \s z. s<sup>3</sup> z &equiv; \s z. s (s (s z))
 
 This is a very elegant idea. Implementing numbers this way, we'd let the successor function be:
 
 
 This is a very elegant idea. Implementing numbers this way, we'd let the successor function be:
 

-<pre><code>succ &equiv; \n. \s z. s (n s z)</code><pre>
+<pre><code>succ &equiv; \n. \s z. s (n s z)</code></pre>

 
 So, for example:
 
 
 So, for example: