6 ms·
They specifically said "compiling only proves correctness for the code being compiled, and for the properties covered by the type system".
by mkarrmann 3y ago
They specifically said "compiling only proves correctness for the code being compiled, and for the properties covered by the type system".