18 Dec
2023
18 Dec
'23
3:08 a.m.
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/