<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Tue, Aug 21, 2018 at 1:37 PM Sergei Meshveliani <<a href="mailto:mechvel@botik.ru">mechvel@botik.ru</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">(what is a correct place to submit proposals on the language?)<br></blockquote></div><div class="gmail_quote"><br></div><div class="gmail_quote">The best place to submit language extension proposals is to the github issue tracker:</div><div class="gmail_quote"><br></div><div class="gmail_quote"><a href="https://github.com/agda/agda/issues/new">https://github.com/agda/agda/issues/new</a></div><div class="gmail_quote"><br></div><div class="gmail_quote">/ Ulf<br></div></div>