Lambda Diagrams

tromp.github.io

Visualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.