28 points | by diginova 18 hours ago
3 comments
[1] https://tromp.github.io/cl/diagrams.html
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
Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.
(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).
that would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helped
Also this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo
[1] https://tromp.github.io/cl/diagrams.html
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
Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.
(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).
that would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helped
Also this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo