3 ms·
> prospective extension/system, not a built-in of the language Yes, that would be merged into the language as typed algebraic effects branch.
by ernst_klim 6y ago
> prospective extension/system, not a built-in of the language
Yes, that would be merged into the language as typed algebraic effects branch.