HackerTube / Video
What is PLUS times PLUS?
2swap
2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.
Mentioned in lambda calculus and combinator threads as a visual entry point to the topic.
5 Hacker News mentions · 2025–2026