Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Lambda calculus. Parent comment
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
There are no comments on this comment yet.
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