[HN Gopher] How to draw lambda diagrams (2020)
___________________________________________________________________
How to draw lambda diagrams (2020)
Author : diginova
Score : 22 points
Date : 2025-07-25 12:57 UTC (10 hours ago)
(HTM) web link (risingentropy.com)
(TXT) w3m dump (risingentropy.com)
| tomhow wrote:
| 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 wrote:
| 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
| tromp wrote:
| Lambda Diagrams originally appeared at [1].
|
| [1] https://tromp.github.io/cl/diagrams.html
| gowld wrote:
| 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
___________________________________________________________________
(page generated 2025-07-25 23:01 UTC)