3 ms·
I've seen this happen for a handful of functions, but implementation correctness proofs for general applications are far beyond the expressive capabilities of T
by ericelliott 8y ago
I've seen this happen for a handful of functions, but implementation correctness proofs for general applications are far beyond the expressive capabilities of TypeScript.