GHC - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Sandy Maguire

@Asad Saeeduddin nope, it's just the steering committee thinks hard

James King

Not that I know of though I am curious as well. It seems to be informal at best. I've heard people say things like, GADTs are not formally specified. And I've seen how a few overlapping extensions don't seem to play well together.