[ghc-steering-committee] GHC2024 voting

[Joachim Breitner]

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/