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

[Richard Eisenberg]

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 <mail at joachim-breitner.de> 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 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