2 ms·
Repeat after me: Tests are existentially quantified, types are universally quantified. (Yeah, existential types, I know. Shut up. ;) )
by dahauns 6y ago
Repeat after me:
Tests are existentially quantified, types are universally quantified.
(Yeah, existential types, I know. Shut up. ;) )