From b9ea2a12c36370a96a3d2565fbb88c800921118c Mon Sep 17 00:00:00 2001
From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 16 Sep 2010 20:53:20 -0400
Subject: [PATCH] tweak lists_and_numbers

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---
 lists_and_numbers.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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