3 ms·
But a less concise language is (theoretically, if you're doing useful stuff with the verbosity) easier for machines to verify.
by CuriouslyC 8mo ago
But a less concise language is (theoretically, if you're doing useful stuff with the verbosity) easier for machines to verify.