[ghc-steering-committee] DH quantifiers (#102), Recommendation: accept

[Richard Eisenberg]

Done. Proposal marked as dormant.

> On Apr 13, 2018, at 7:53 PM, Joachim Breitner <mail at joachim-breitner.de> wrote:
> 
> Hi,
> 
> Am Mittwoch, den 28.03.2018, 13:10 -0400 schrieb Richard Eisenberg:
>> Agreed with all points Simon makes below -- including on punting on
>> #102 with a personal hope to return some day not too distant from
>> now. I'll update the proposal with my analysis from the email.
> 
> did you do this update? If so, you can change the label of the proposal
> to “Needs revision” or “dormant” or something similar.
> 
> 
> Cheers,
> Joachim
> -- 
> Joachim Breitner
>  mail at joachim-breitner.de
>  http://www.joachim-breitner.de/
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee