diff options
| author | Nick Henderson <nick.henderson@gmail.com> | 2018-11-21 15:22:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-21 15:22:52 -0800 |
| commit | 34b2ab3a8b8ab345193585fd686e2ddbf6d36169 (patch) | |
| tree | 48662bfc3258aa0dbd55fdee69d0f0d82d91e1d9 | |
| parent | b93ea7add75f774fd7d1f2b450a3517ea924bff4 (diff) | |
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
| -rw-r--r-- | lambda-calculus.html.markdown | 2 |
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! |