On: Foundations of Dawn: The Untyped Concatenative Calculus

[andrewflnr]

> The first three intrinsics, swap, clone, and drop, directly correspond to the three common structural rules from proof theory... By restricting the use of these intrinsics, we can cover the full range of substructural logics.

Dang, I think you buried the lede.

[smaddox → andrewflnr]

;-) There's a lot of work left to do to demonstrate the value of this, but it's my primary motivation for basing Dawn on the concatentive calculus.