Re: [ghc-steering-committee] New (and old) members of the Committee

Hello! Thank you everyone for the warm welcome. I will now go through the proposals under consideration and see if I can add something to the discussion. - Vlad

On 11 Mar 2021, at 11:53, Alejandro Serrano Mena wrote:

Welcome, Vlad! I’m very happy to have you among us :)

Right now we are discussing a few proposals, feel free to jump into the discussion (the archives should give you a rough idea). In particular, we are debating lately about dependent types and the general meaning of “extension”, which are topics which I think would benefit from a fresh pair of eyes.

Regards, Alejandro

On 10 Mar 2021 at 21:42:17, Richard Eisenberg wrote: Welcome, Vlad!

Vlad is already on this list (according to the list of subscribers). He will need GitHub permissions, but it looks like Joachim is the one with the right permissions to do that.

Sidenote: Joachim, perhaps you should also grant maintainer access to the ghc-proposals team (https://github.com/orgs/ghc-proposals/teams/ghc-steering-committee/members) to the Simons, in case action needs to be taken while you're unavailable.

Thanks for steering this process, Alejandro!

Richard

...

On Mar 10, 2021, at 3:09 PM, Alejandro Serrano Mena wrote:

Dear Committee,

It’s my pleasure that announce that the three members with an expired term (Joachim, Iavor, and Richard) have renewed their membership. In addition, we have a new member in the Committee: Vladislav Zavialov. We found all four applications to be really strong!

Could anybody help me adding Vladislav to the mailing list and giving him the proper permissions? That way I could give him a proper welcome to the Committee :)

Alejandro _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee