John Tromp personal blog
Lambda Calculus Diagrams (2015)
The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…
- Points
- 172
- HN comments
- 32
- Submissions
- 1
- Cited by
- 7 commenters
Math & AlgorithmsProgramming Languages2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 4, 2020 | Lambda Calculus Diagrams (2015) by fanf2 | 172 | 32 |
Cited in comments
Linked from 23 Hacker News comments by 7 different people, from Apr 2015 to Sep 2026.
Most recent:
- peter_d_sherman · Sep 14, 2026
- tromp · May 11, 2026
- observationist · Mar 31, 2026
- tromp · Nov 30, 2025
- tromp · Jul 25, 2025
- nakedneuron · Jan 15, 2025
