Contribute

See also the HACKING file in the root of the agda repo.