Re: [ghc-steering-committee] #344: Negative Literals Improved, rec: accept

15 Jul 2020

...
On Jul 15, 2020, at 8:58 AM, Joachim Breitner  wrote:
I suggest we accept that proposal.
+1

Yes, let's accept -- and if we act quickly, it can be so for 8.12.

Thanks,
Richard

Richard Eisenberg