4 ms·
I believe Haskell's type system is only Turing complete with UndecidableInstances or other extensions. But these extensions are not uncommon.
by mannerheim 6y ago
I believe Haskell's type system is only Turing complete with UndecidableInstances or other extensions. But these extensions are not uncommon.