gitroast/options/gitignore/Agda