[csvoss]

Author here. Thanks for the appreciation!

Since this piece was written, I have discovered another notation by John Tromp which I consider to be the most breathtakingly beautiful:

- https://tromp.github.io/cl/diagrams.html

Here used by Paul Crowley to describe Graham's number:

- https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-...

- https://mindsarentmagic.org/2020/02/24/some-more-numbers-as-...

[sn41]

Really beautiful idea, and thanks for the link for John Tromp's idea. I will use your notation in my course.

I am sure, being from where you are, you have heard of "Henderson Diagrams" from SICP. They are also a great visual tool for functional programming.

From the Russian side of the cosmos, Drakon is a nice flowchart language (not a circuit diagram language), but I have never used it: https://en.wikipedia.org/wiki/DRAKON

[plutonorm]

I've been thinking about ways to feed algorithms into a neural network. This looks perfect! Just give the images to a convolutional NN.

[ford_o]

Why not feed it a text?

[ford_o]

Does this actually give you any insight into lambda calculus?

[tankenmate]

Have you looked at the similarity Church numerals and Peano axioms? [0]

[0] https://en.wikipedia.org/wiki/Peano_axioms