<div dir="ltr"><div>Same here! Sad to see you leave Iavor, your contributions will be missed.</div><div><br></div><div>Cheers</div><div>Siimon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 20 May 2021 at 18:36, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com">trupill@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div dir=""><div dir="ltr">
I’ll join the rest in saying that your work in the committee has been great, so you’ll be certainly missed.</div><div dir="ltr">Thanks for all your work these years!</div><div dir="ltr"><br></div><div dir="ltr">Alejandro<br><br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">El 20 may 2021 2:36:40, Eric Seidel <<a href="mailto:eric@seidel.io" target="_blank">eric@seidel.io</a>> escribió:<br></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<div>
I'll echo everyone else. I've also greatly enjoyed working with you over the years, and will miss your arguments for keeping Haskell a simpler language.<br><br>Thanks Iavor!<br><br>Eric<br><br>On Wed, May 19, 2021, at 17:24, Simon Peyton Jones via ghc-steering-committee wrote:<br><blockquote type="cite"> Iavor<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> I too would like to thank you very much. You have been a big <br></blockquote><blockquote type="cite"> contributor to Haskell for a long time, and I've really appreciated <br></blockquote><blockquote type="cite"> your input to the GHC steering committee.<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> Thank you!<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> Simon<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> | -----Original Message-----<br></blockquote><blockquote type="cite"> | From: ghc-steering-committee <<a href="mailto:ghc-steering-committee-bounces@haskell.org" target="_blank">ghc-steering-committee-bounces@haskell.org</a>> On<br></blockquote><blockquote type="cite"> | Behalf Of Richard Eisenberg<br></blockquote><blockquote type="cite"> | Sent: 19 May 2021 17:22<br></blockquote><blockquote type="cite"> | To: Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>><br></blockquote><blockquote type="cite"> | Cc: <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> | Subject: Re: [ghc-steering-committee] Stepping down from the committee<br></blockquote><blockquote type="cite"> | <br></blockquote><blockquote type="cite"> | I wholeheartedly agree with Joachim here. I was sad to see Iavor's note and<br></blockquote><blockquote type="cite"> | contemplating writing a plea to stay on -- but then wanted to respect your<br></blockquote><blockquote type="cite"> | decision. Despite the fact, Iavor, that you and I often have been on<br></blockquote><blockquote type="cite"> | opposing sides of a debate, it's a pleasure to work with you, and I will<br></blockquote><blockquote type="cite"> | miss your voice in this committee.<br></blockquote><blockquote type="cite"> | <br></blockquote><blockquote type="cite"> | Thanks for all your contributions!<br></blockquote><blockquote type="cite"> | <br></blockquote><blockquote type="cite"> | Richard<br></blockquote><blockquote type="cite"> | <br></blockquote><blockquote type="cite"> | > On May 19, 2021, at 3:17 AM, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>><br></blockquote><blockquote type="cite"> | wrote:<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > Hello Iavor,<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > I'm sad to you see leave, and you will leave an hole in the committee.<br></blockquote><blockquote type="cite"> | > I have always greatly valued your particular perspective on these<br></blockquote><blockquote type="cite"> | > matters, and fear that it will be underrepresented in the committee in<br></blockquote><blockquote type="cite"> | > the future. We'll need to keep "what would Iavor say to this" in the<br></blockquote><blockquote type="cite"> | > back of our heads from now on...<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > 50 months is an impressive time to spend on a project like this, and<br></blockquote><blockquote type="cite"> | > if interests shift and it becomes less rewarding than it used to be,<br></blockquote><blockquote type="cite"> | > then stepping down is the right step to do. Should you ever change<br></blockquote><blockquote type="cite"> | > your mind, I'll be happy to see your name on the ballot!<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > Cheers, and looking forward to see you at a conference at some point,<br></blockquote><blockquote type="cite"> | > Joachim<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > Am Dienstag, den 18.05.2021, 11:52 -0700 schrieb Iavor Diatchki:<br></blockquote><blockquote type="cite"> | >> I think it is time for me to step down from the GHC committee---<br></blockquote><blockquote type="cite"> | >> lately I find that I don't have the enthusiasm I used to have for<br></blockquote><blockquote type="cite"> | >> reviewing or discussing proposals, so it makes sense to make space<br></blockquote><blockquote type="cite"> | >> for someone who is passionate about doing this work.<br></blockquote><blockquote type="cite"> | >><br></blockquote><blockquote type="cite"> | >> Thanks for working with me, and I am looking forward to having a beer<br></blockquote><blockquote type="cite"> | >> with you all at ICFP once the world reopens!<br></blockquote><blockquote type="cite"> | >><br></blockquote><blockquote type="cite"> | >> -Iavor<br></blockquote><blockquote type="cite"> | >> _______________________________________________<br></blockquote><blockquote type="cite"> | >> ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> | >> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> | >> <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmai" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmai</a><br></blockquote><blockquote type="cite"> | >> <a href="http://l.haskell.org" target="_blank">l.haskell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee<br></blockquote><blockquote type="cite"> | >> &data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" target="_blank">40microsoft.com</a>%7C07a7b89435ee4bb2b68d08d<br></blockquote><blockquote type="cite"> | >> 91ae2418e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63757038144964<br></blockquote><blockquote type="cite"> | >> 8409%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJB<br></blockquote><blockquote type="cite"> | >> TiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=4LEUMtHN%2BS1k7wqTngaJAuq<br></blockquote><blockquote type="cite"> | >> WXCG%2BE%2FTRp6f8BG7kzxI%3D&reserved=0<br></blockquote><blockquote type="cite"> | > --<br></blockquote><blockquote type="cite"> | > Joachim Breitner<br></blockquote><blockquote type="cite"> | > <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > <a href="https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j</a><br></blockquote><blockquote type="cite"> | > <a href="http://oachim-breitner.de" target="_blank">oachim-breitner.de</a>%2F&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" target="_blank">40microsoft.com</a>%7C07a<br></blockquote><blockquote type="cite"> | > 7b89435ee4bb2b68d08d91ae2418e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7<br></blockquote><blockquote type="cite"> | > C0%7C637570381449658400%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLC<br></blockquote><blockquote type="cite"> | > JQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=synnK38S<br></blockquote><blockquote type="cite"> | > Prg%2BgU0xol0v%2Fu5qakT9cLJ7vLzHm%2FISojk%3D&reserved=0<br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | ><br></blockquote><blockquote type="cite"> | > _______________________________________________<br></blockquote><blockquote type="cite"> | > ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> | > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> | > <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail</a><br></blockquote><blockquote type="cite"> | > .<a href="http://haskell.org" target="_blank">haskell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&a<br></blockquote><blockquote type="cite"> | > mp;data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" target="_blank">40microsoft.com</a>%7C07a7b89435ee4bb2b68d08d91a<br></blockquote><blockquote type="cite"> | > e2418e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637570381449658400<br></blockquote><blockquote type="cite"> | > %7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6I<br></blockquote><blockquote type="cite"> | > k1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2M7W3brh3I43lwVtZcrTXcJwNnc3eE7<br></blockquote><blockquote type="cite"> | > l8cw44b4YssI%3D&reserved=0<br></blockquote><blockquote type="cite"> | <br></blockquote><blockquote type="cite"> | _______________________________________________<br></blockquote><blockquote type="cite"> | ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> | <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> | <a href="https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske" target="_blank">https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske</a><br></blockquote><blockquote type="cite"> | <a href="http://ll.org" target="_blank">ll.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-<br></blockquote><blockquote type="cite"> | committee&data=04%7C01%7Csimonpj%<a href="http://40microsoft.com" target="_blank">40microsoft.com</a>%7C07a7b89435ee4bb2b68d0<br></blockquote><blockquote type="cite"> | 8d91ae2418e%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637570381449658400%<br></blockquote><blockquote type="cite"> | 7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwi<br></blockquote><blockquote type="cite"> | LCJXVCI6Mn0%3D%7C3000&sdata=2M7W3brh3I43lwVtZcrTXcJwNnc3eE7l8cw44b4YssI%<br></blockquote><blockquote type="cite"> | 3D&reserved=0<br></blockquote><blockquote type="cite"> _______________________________________________<br></blockquote><blockquote type="cite"> ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></blockquote><blockquote type="cite"> <br></blockquote>_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</div>
</div>
</blockquote>
</div>
</div></div></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>