BigW Consortium Gitlab

Agda.gitignore 8 Bytes
*.agdai