prathyvsh/lambda-calculus-visualizations
View on GitHub ↗ ★ 183
Catalog of visual lambda calculi
8 mentions on Hacker News by 5 people: 4 stories, 4 comments · first 2020-05-14 · latest 2026-05-16
20082026
-
…bubble memory storage on a heathkit h8 : https://www.youtube.com/watch?v=P_miv4wYzvg&t=38s= [3] : https://github.com/prathyvsh/lambda-calculus-visualizations [4] : https://github.com/barry-jay-personal/tree-calculus/blob/mas... [5] :…
comment by sargstuff · 2026-05-16 · in Move over cassette tapes, adhesive tape has memory, too -
I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996), and Bubble Notation comes from Wayne Citrin's Visual Expressions…
comment by bntr · 2026-03-03 · in Show HN: Visual Lambda Calculus – a thesis project (2008) revived for the web -
The most complete catalog I've found: https://github.com/prathyvsh/lambda-calculus-visualizations
comment by bntr · 2025-09-20 · in The Ruliology of Lambdas -
…: https://news.ycombinator.com/item?id=31511719 [5] : misc. binary calculus notations : https://github.com/prathyvsh/lambda-calculus-visualizations [6] : https://www.youtube.com/watch?v=UlvbLeI7l5w & https://www.youtube.com/watch?v=cUYleBSV…
comment by sargstuff · 2025-06-21 · in Roons: A Marble Computer [video]