3 ms·
I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ https://counterexamples.org/ .
by Smaug123 1y ago
I always love this kind of article! For many more ways type systems can be unsound, see https://counterexamples.org/ https://counterexamples.org/ .