4 ms·
No. Its type system is sound. (Assuming the proofs hold and they've actually implemented what the proof is based on.)
by Quekid5 5y ago
No. Its type system is sound.
(Assuming the proofs hold and they've actually implemented what the proof is based on.)