1
A circuit-like notation for lambda calculus (2015)
Lately, I’ve been playing around with inventing a visual writing system for lambda calculus.
csvoss.com
- Popular posts
- 1
- Total points
- 105
- HN comments
- 42
- Rank
- #20,616 personal
Visit csvoss.com → On Hacker News Aug 2020 – Aug 2020