[Agda] Contributing: good first issues

[Ulf Norell]

There is a `difficulty: easy` label on GitHub (no guarantees that it's
always accurate though).

Otherwise, my advice would be to find something that you want to work on
(rather than something that's
easy, but uninteresting), and start digging into the code base, asking
questions here or on the agda-dev [1]
mailing list.

We don't have an "Introduction to the Agda code base" in the user manual,
but it would certainly be a useful
resource.

 / Ulf

[1] https://lists.chalmers.se/mailman/listinfo/agda-dev

On Fri, Dec 13, 2019 at 9:04 AM Herminie Pagel <herminie.pagel at gmail.com>
wrote:

> 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
>>
> _______________________________________________
> 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/3b39f3d1/attachment.html>