[–] low_tech_punk 2y ago ↗ Visualizing beta reduction in this notation reminds me of the Interaction Combinators, recently popularized by the Bend programming language.
1 comment
[ 3.5 ms ] story [ 9.1 ms ] thread