I'm in favour of impredicative types, to everybody's surprise :-) .
On Mon, 18 Dec 2023 at 09:09, 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@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
-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.