X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=lists_and_numbers.mdwn;h=bde7c2f3c0e01294cffee3689c7ab455437d3218;hp=e3dd1fba08336938185db88db6e1a4ff38b5cca5;hb=b9ea2a12c36370a96a3d2565fbb88c800921118c;hpb=17563aceb6428a31d42d58726ca73dda2fd2e8b5

diff --git a/lists_and_numbers.mdwn b/lists_and_numbers.mdwn
index e3dd1fba..bde7c2f3 100644
--- 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: