2 ms·It's probably difficult to deal with a type checker on a programming and math book.by aasasd 7y agoIt's probably difficult to deal with a type checker on a programming and math book.