Contribute See also the HACKING file in the root of the agda repo. .. toctree:: :maxdepth: 2 documentation