tromp 11 hours ago Lambda Diagrams originally appeared at [1].[1] https://tromp.github.io/cl/diagrams.html gowld 11 hours ago 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
gowld 11 hours ago 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
acjohnson55 8 hours ago This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.
tomhow 17 hours ago I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.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). diginova 13 hours ago True, thanks for clarificationthat would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helpedAlso this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo
diginova 13 hours ago True, thanks for clarificationthat would be this one - https://risingentropy.com/how-to-draw-lambda-diagrams/ as I just started learning lambda calculus and this one helpedAlso this is where I got the interest from - https://www.youtube.com/watch?v=RcVA8Nj6HEo
Lambda Diagrams originally appeared at [1].
[1] https://tromp.github.io/cl/diagrams.html
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
This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.
I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.
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).
True, thanks for clarification
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