[Agda] Contributing: good first issues

[Nils Anders Danielsson]

On 2019-12-16 12:34, Nils Anders Danielsson wrote:
> There is also "help wanted".

Now there are 17 open issues labelled "help wanted":

   https://github.com/agda/agda/labels/help%20wanted

-- 
/NAD