4 ms·It just gives up after running for too long as any Turing-complete type checkers are doing.by _0w8t 3y agoIt just gives up after running for too long as any Turing-complete type checkers are doing.