mirror of
https://github.com/github/gitignore
synced 2024-09-09 01:26:27 +02:00
![Paolo G. Giarrusso](/assets/img/avatar_default.png)
Ignore .agdai files, they're binary files generated by typechecking .agda files. Agda is an interactive proof assistant, home page here: http://wiki.portal.chalmers.se/agda/pmwiki.php `.agdai` files seem to be only documented here (and indirectly by googling): http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.PerformanceTips A prominent repository using Agda on github: https://github.com/HoTT/HoTT-Agda/ Their gitignore files: https://github.com/HoTT/HoTT-Agda/blob/master/.gitignore
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
*.agdai
|