From 34b2ab3a8b8ab345193585fd686e2ddbf6d36169 Mon Sep 17 00:00:00 2001
From: Nick Henderson <nick.henderson@gmail.com>
Date: Wed, 21 Nov 2018 15:22:52 -0800
Subject: [PATCH] propose correction for ADD
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

I think it should be: `ADD = λab.(a S)b`
---
 lambda-calculus.html.markdown | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lambda-calculus.html.markdown b/lambda-calculus.html.markdown
index 3d080de7..8343d62a 100644
--- a/lambda-calculus.html.markdown
+++ b/lambda-calculus.html.markdown
@@ -111,7 +111,7 @@ we use the successor function `S(n) = n + 1` which is:
 
 Using successor, we can define add:
 
-`ADD = λab.(a S)n`
+`ADD = λab.(a S)b`
 
 **Challenge:** try defining your own multiplication function!