5 ms·
I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation!
by oggy 11mo ago
I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation!
- ChadNauseam 11mo agoExactly!