08/26/2022 CodersAtWork PeterSeibel Aug 26, 2022 …a type checker is just a Neanderthal correctness-prover. — Peter Seibel, Coders at Work PREVIOUS08/25/2022NEXT08/27/2022 Please enable JavaScript to view the comments powered by Disqus.