tweak lists_and_numbers

[lambda.git] / lists_and_numbers.mdwn

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