The λ Calculus | Eitan Lees | Observable
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
•ojs
Comments (6)
Fabian Iwand
Nov 29, 2021
Typo: "What the functions does" (feel free to delete this comment)
Eitan Lees
Nov 29, 2021
Good catch! Thanks!
Reply
Job van der Zwan
Nov 30, 2021
Dammit, natural language, why can't you make "on, off" line up with "zero, one"?
Reply
Job van der Zwan
Nov 30, 2021
For maximum enjoyment I recommend reading TALLY(0) as "tally-oh", as in "rhymes with tally-ho" "Add four five, tally-ho!"
Reply
Job van der Zwan
Nov 30, 2021
I'm not sure if it would be more or less confusing (for the target audience that I presume you have) to add that this is really just an unbalanced tree my_tree = PAIR(PAIR(1)(2))(PAIR(3)(4))
Reply
Job van der Zwan
Nov 30, 2021
These are also really good:
http://raganwald.com/2018/08/30/to-grok-a-mockingbird.html
http://raganwald.com/2018/09/10/why-y.html
Reply
Add comment
Subscribe to notifications
Observable
Sign in
Eitan Lees
18
Reply
Reply
Reply
Reply
Reply
Add comment
Subscribe to notifications
1
The λ Calculus | Eitan Lees | Observable