[ghc-steering-committee] GHC2024 voting

[Arnaud Spiwack]

I'm in favour of impredicative types, to everybody's surprise :-) .

On Mon, 18 Dec 2023 at 09:09, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> Am Sonntag, dem 17.12.2023 um 21:24 +0000 schrieb Adam Gundry:
> > The proposal mentions ImpredicativeTypes, but it doesn't seem to appear
> > on the ballot? (Personally I'm not in favour of including it, but was
> > this an accidental omission?)
>
> pure clerical error on my side, not sure how it happened.  Sorry Arnaud
> (who proposed it).
>
> I guess it’s only fair to ask everyone to also cast a vote on
> ImpredicativeTypes. Sorry for the extra round-trip.
>
> Adam not in favor, I take.
>
> 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
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231218/803cb2a6/attachment.html>