[Agda] Contributing: good first issues

[Marko Dimjašević]

Dear Agda community,

I'm interested in contributing to Agda in code. So far I contributed
tiny documentation fixes, but now I'd be interested in making bug fixes
and implementing small improvements or features. Therefore, I'd
appreciate a pointer to good first issues or equivalent. HACKING.md [1]
doesn't seem to have pointers to such issues nor could I find related
information anywhere else in the documentation.

Do you use a particular label in the issue tracker for good first
issues?

I'm looking for something that could hopefully be done in a day or two.
I've been using Haskell professionally for a year and a half so you can
expect some proficiency.


[1] https://github.com/agda/agda/blob/master/HACKING.md


-- 
Regards,
Marko Dimjašević <marko at dimjasevic.net>
https://dimjasevic.net/marko
PGP key ID:       056E61A6F3B6C9323049DBF9565EE9641503F0AA
Learn email self-defense! https://emailselfdefense.fsf.org
-------------- 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/20191212/95b2a0b4/attachment.sig>