[discarded1023]

Thanks for the link! Some very pretty stuff there.

Missing AFAICT are categorical string diagrams. I'm only sort-of familiar with the notation for Haskell Arrows [1,2] but a quick google for "lambda calculus string diagrams" turns up some recent work by Dan Ghica and others that may be of interest.

[1] https://en.wikipedia.org/wiki/String_diagram

[2] Ross Paterson "A New Notation for Arrows" (2001)

[bntr]

Thanks! I liked the pics here: https://piedeleu.com/posts/diagrammatic-lambda-calculus/

I'd love to see them smoothly animated.