mirror of
https://github.com/adambard/learnxinyminutes-docs.git
synced 2024-12-23 17:41:41 +00:00
propose correction for ADD
I think it should be: `ADD = λab.(a S)b`
This commit is contained in:
parent
b93ea7add7
commit
34b2ab3a8b
@ -111,7 +111,7 @@ we use the successor function `S(n) = n + 1` which is:
|
|||||||
|
|
||||||
Using successor, we can define add:
|
Using successor, we can define add:
|
||||||
|
|
||||||
`ADD = λab.(a S)n`
|
`ADD = λab.(a S)b`
|
||||||
|
|
||||||
**Challenge:** try defining your own multiplication function!
|
**Challenge:** try defining your own multiplication function!
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user