Wren's Thoughts personal blog
De Bruijn notation, and why it's useful
At least a familiarity with the lambda calculus, including how it is evaluated. Some base knowledge of programming languages is also assumed.
- Points
- 141
- HN comments
- 44
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 30, 2025 | De Bruijn notation, and why it's useful by blueberry87 | 141 | 44 |
