3 ms·
Visualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.
by low_tech_punk 2y ago
Visualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.