1
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.
Wren's Thoughts
- Popular posts
- 2
- Total points
- 270
- HN comments
- 224
- Rank
- #9,834 personal
Visit blueberrywren.dev → RSS feedOn Hacker News May 2025 – Nov 2025
Software Engineering 2Math & Algorithms 1Programming Languages 1