| ▲ | oggy 3 days ago | |
I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation! | ||
| ▲ | ChadNauseam 2 days ago | parent [-] | |
Exactly! | ||
| ▲ | oggy 3 days ago | |
I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation! | ||
| ▲ | ChadNauseam 2 days ago | parent [-] | |
Exactly! | ||