chris martenschrisamaphone@hci.social
Oct 10, 2026, 3:00 AM@mcc there's precedent for typing these, too (see section 6 of https://www.cs.cmu.edu/~fp/courses/15814-f19/lectures/12-kmachine.pdf)
Replies
Oct 10, 2026, 3:02 AM@chrisamaphone Yeah there's this whole emerging concatenative languages community, esp in the last decade.5