Contribute

See also the HACKING file in the root of the Agda repository.