3 ms·Lambda Diagrams4 points by low_tech_punk 2y agolow_tech_punk 2y agoVisualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.