csvoss.com personal blog
A circuit-like notation for lambda calculus (2015)
Lately, I’ve been playing around with inventing a visual writing system for lambda calculus.
- Points
- 105
- HN comments
- 42
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 17, 2020 | A circuit-like notation for lambda calculus (2015) by apsec112 | 105 | 42 |
