I’ll be sorry to lose you Alejandro!
PS: I am leaving Microsoft at the end of November 2021, at which point simonpj@microsoft.commailto:simonpj@microsoft.com will cease to work. Use simon.peytonjones@gmail.commailto:simon.peytonjones@gmail.com instead. (For now, it just forwards to simonpj@microsoft.com.)
From: ghc-steering-committee On Behalf Of Alejandro Serrano Mena
Sent: 21 September 2021 12:23
To: Simon Peyton Jones via ghc-steering-committee
Subject: [ghc-steering-committee] Stepping down
Hello everybody,
In the last time I hadn’t had the energy to follow many of the discussions in this committee, and I don’t think this will change soon, so I would like to step down from the committee.
If you think it’s OK, I can keep shepherding the proposal which was assigned to me (NoFallibleDo), since it doesn’t feel right to put that on somebody else’s shoulders.
Kind regards,
Alejandro
