3 ms·
Ah whoops, I meant to say that the definitions of most of the casts are uniquely determined by soundness (i.e. beta, eta) and graduality (i.e. being an equipmen
by maxiepoo 9y ago
Ah whoops, I meant to say that the definitions of most of the casts are uniquely determined by soundness (i.e. beta, eta) and graduality (i.e. being an equipment).