Re: [ghc-steering-committee] #167: Deprecated Entities, rec: accept

Being a sucker for punishment, I have done this: https://github.com/goldfirere/ghc-proposals/blob/namespaces/proposals/0000-n... https://github.com/goldfirere/ghc-proposals/blob/namespaces/proposals/0000-n... Richard

On Mar 13, 2019, at 12:26 PM, Joachim Breitner wrote:

The more important question is: Who wants to do that “grand unifying ExplicitNamespaces proposal”?