
25 Dec
2020
25 Dec
'20
6:26 a.m.
Hi, Am Donnerstag, den 24.12.2020, 18:52 +0000 schrieb Richard Eisenberg:
On Dec 24, 2020, at 9:25 AM, Joachim Breitner
wrote: Dear Richard and Simon, Simon, Tom: You currently have “maybe”, “irrelevant” or “no” here. Do you indeed want to deviate from the documented plan of getting rid of NoMonadFailDesugaring?
No, I don't. Please change my vote to "yes". Or do you need a new full slate for that to happen?
not needed, the ballot tallying system involves a (possibly artificial, will not tell) intelligence. Noted. (MonadFailDesugaring now in “barely in” category, so all izz well.) Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/