3 ms·
> The first three intrinsics, swap, clone, and drop, directly correspond to the three common structural rules from proof theory... By restricting the use of the
by andrewflnr 5y ago
> 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 5y ago;-) 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.