6 ms·I have been working on a faster type checker for 3.5 years now. It's coming, I promise :)by davidhalter 3y agoI have been working on a faster type checker for 3.5 years now. It's coming, I promise :)