Re: [ghc-steering-committee] Recommendation for #378: support the design for dependent types

Thanks, all! :) I think the ability to write up (collaboratively with Simon) and discuss a proposal such as this one publicly really shows the virtue of the proposal process. Thanks for all the feedback here! Richard

On May 26, 2021, at 3:38 AM, Joachim Breitner wrote:

Am Mittwoch, den 26.05.2021, 07:20 +0000 schrieb Simon Peyton Jones via ghc-steering-committee:

...

At this point I think we have enough support to declare the proposal accepted. Joachim, can you merge it?

Done! -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee