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

[Vladislav Zavialov (int-index)]

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 <trupill at gmail.com> 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 <rae at richarde.dev> 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 <trupill at gmail.com> 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 at haskell.org
>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
> 
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee