[Agda] Contributing: good first issues

[Nils Anders Danielsson]

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".

-- 
/NAD