<div dir="ltr"><div dir="ltr"><div>The contribute page of the user manual was updated with the information of this thread:</div><div><a href="https://agda.readthedocs.io/en/latest/contribute/index.html" target="_blank">https://agda.readthedocs.io/en/latest/contribute/index.html</a></div><div><br></div><div>Github has a standard label named "good first issues" for potential first-time contributors that now is empty but could also be used:</div><div><a href="https://github.com/agda/agda/labels/good%20first%20issue" target="_blank">https://github.com/agda/agda/labels/good%20first%20issue</a></div><div><br></div><div>-- h<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mi., 18. Dez. 2019 um 21:23 Uhr schrieb Marko Dimjašević <<a href="mailto:marko@dimjasevic.net" target="_blank">marko@dimjasevic.net</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Mon, 2019-12-16 at 12:34 +0100, Nils Anders Danielsson wrote:<br>
> On 2019-12-13 11:01, Ulf Norell wrote:<br>
> > There is a `difficulty: easy` label on GitHub (no guarantees that<br>
> > it's<br>
> > always accurate though).<br>
> <br>
> There is also "help wanted".<br>
<br>
<br>
Thank you!<br>
<br>
<br>
Kind regards,<br>
Marko Dimjašević<br>
<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div></div>