[Agda] Contributing: good first issues

[Herminie Pagel]

I had a similar issue and probably more people also.

I guess it would be great to have a kind of contributing guide for
newcomers to agda depending on their interests, backgrounds, objectives...

A newcomer should be able to self-assess where does she stand now regarding
agda, the things to which she can contribute right away, and maybe to be
able to discover a learning path to where she wants to be in the future.
Such a contributing guide should do the job. I don't know if something is
on the way in that direction or even if it is possible/desirable to extend
the user base of agda.

Best! herminie


Am Do., 12. Dez. 2019 um 08:08 Uhr schrieb Marko Dimjašević <
marko at dimjasevic.net>:

> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191213/3e0b7244/attachment.html>