3 ms·
Care to mention what about GHC Haskell's type system is not decidable? AFAIK only some extensions like UndecidableInstances can make it undecidable.
by tome 9y ago
Care to mention what about GHC Haskell's type system is not decidable? AFAIK only some extensions like UndecidableInstances can make it undecidable.