2 ms·
Not really, I can predict that anything I will actually do that has valid types will type check. Some pathological valid cases invented by someone trying to br
by TheCoelacanth 6y ago
Not really, I can predict that anything I will actually do that has valid types will type check.
Some pathological valid cases invented by someone trying to break the type checker, might not type check.