3 ms·
Well, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.
by choeger 5y ago
Well, shit. They broke the language. I still hope that a reasonable subset of the type system remains decidable, though.