summaryrefslogtreecommitdiffhomepage
path: root/lambda-calculus.html.markdown
diff options
context:
space:
mode:
Diffstat (limited to 'lambda-calculus.html.markdown')
-rw-r--r--lambda-calculus.html.markdown2
1 files changed, 1 insertions, 1 deletions
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!