News for hackers. Stuff that matters.

A comment on Lambda calculus.

Re:Lambda calculus by tromp on Friday July 25, 2025 @04:12PM (#44687861)
Lambda Diagrams originally appeared at [1].

[1] https://tromp.github.io/cl/diagrams.html

[ Parent | on HN ]
Re:Lambda calculus by gowld on Friday July 25, 2025 @04:42PM (#44688194)
The submission page doesn't link to Tromp, but the YouTube videos do.

Tromp's page links to the submission:

> Paul Brauner has produced some awesome videos of beta reductions, produced with this software.

Also linked from Tromp, Cruz Godar's animated multi-colored calculator is my favorite:

https://cruzgodar.com/applets/lambda-calculus

[ Parent | on HN ]