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

[Joachim Breitner]

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/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20180413/360f79db/attachment.sig>