How to draw lambda diagrams (2020) (risingentropy.com)

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).

Lambda Diagrams originally appeared at [1].

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

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.