15 Mar
2019
15 Mar
'19
11:14 a.m.
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-namespaces.rst> Richard
On Mar 13, 2019, at 12:26 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:
The more important question is: Who wants to do that “grand unifying ExplicitNamespaces proposal”?