John Tromp personal blog
Binary Lambda Calculus (2020)
Binary lambda calculus ( BLC ) is a minimal, pure functional programming language invented by John Tromp in 2004, 1 based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.
- Points
- 114
- HN comments
- 14
- Submissions
- 1
- Cited by
- 9 commenters
Programming LanguagesMath & Algorithms2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 9, 2022 | Binary Lambda Calculus (2020) by tosh | 114 | 14 |
Cited in comments
Linked from 39 Hacker News comments by 9 different people, from Mar 2017 to Sep 2025.
Most recent:
