3 ms·I really like the changes to the type checkerby adultSwim 8y agoI really like the changes to the type checker