1
0
mirror of https://github.com/github/gitignore synced 2024-10-31 17:18:45 +01:00
Commit Graph

1 Commits

Author SHA1 Message Date
Paolo G. Giarrusso
c56761e833 Create Agda.gitignore
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
2013-08-15 03:18:55 +02:00