[–] 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.3 ms ] story [ 14.3 ms ] thread