<html><body><div dir=""><div dir="ltr">Welcome, Vlad! I’m very happy to have you among us :)</div><div dir="ltr"><br></div><div dir="ltr">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.</div><div dir="ltr"><br></div><div dir="ltr">Regards,</div><div dir="ltr">Alejandro<br><br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr" style="">On 10 Mar 2021 at 21:42:17, Richard Eisenberg <<a href="mailto:rae@richarde.dev">rae@richarde.dev</a>> wrote:<br></div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">
<div>
<div>
Welcome, Vlad!<br><br>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.<br><br>Sidenote: Joachim, perhaps you should also grant maintainer access to the ghc-proposals team (<a href="https://github.com/orgs/ghc-proposals/teams/ghc-steering-committee/members">https://github.com/orgs/ghc-proposals/teams/ghc-steering-committee/members</a>) to the Simons, in case action needs to be taken while you're unavailable.<br><br>Thanks for steering this process, Alejandro!<br><br>Richard<br><br><blockquote type="cite" style=""> On Mar 10, 2021, at 3:09 PM, Alejandro Serrano Mena <<a href="mailto:trupill@gmail.com">trupill@gmail.com</a>> wrote:<br></blockquote><blockquote type="cite" style=""> <br></blockquote><blockquote type="cite" style=""> Dear Committee,<br></blockquote><blockquote type="cite" style=""> <br></blockquote><blockquote type="cite" style=""> 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!<br></blockquote><blockquote type="cite" style=""> <br></blockquote><blockquote type="cite" style=""> 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 :)<br></blockquote><blockquote type="cite" style=""> <br></blockquote><blockquote type="cite" style=""> Alejandro<br></blockquote><blockquote type="cite" style=""> _______________________________________________<br></blockquote><blockquote type="cite" style=""> ghc-steering-committee mailing list<br></blockquote><blockquote type="cite" style=""> <a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite" style=""> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></blockquote><br>
</div>
</div>
</blockquote>
</div>
</div></div></body></html>