[Agda] Contributing: good first issues

[Marko Dimjašević]

On Mon, 2019-12-16 at 12:34 +0100, Nils Anders Danielsson wrote:
> On 2019-12-13 11:01, Ulf Norell wrote:
> > There is a `difficulty: easy` label on GitHub (no guarantees that
> > it's
> > always accurate though).
> 
> There is also "help wanted".


Thank you!


Kind regards,
Marko Dimjašević

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191218/17c7820c/attachment.sig>