diff options
| author | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2013-08-15 03:18:55 +0200 |
|---|---|---|
| committer | Paolo G. Giarrusso <p.giarrusso@gmail.com> | 2013-08-15 03:18:55 +0200 |
| commit | c56761e8330fae5a6ac049dfdb179aae7f7b9036 (patch) | |
| tree | 9cf625495ef873ec67befd633685c7a875037ef6 | |
| parent | b2c694d792c005c770c42deaa868e97184e31794 (diff) | |
| download | gitignore-c56761e8330fae5a6ac049dfdb179aae7f7b9036.tar.gz gitignore-c56761e8330fae5a6ac049dfdb179aae7f7b9036.zip | |
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
| -rw-r--r-- | Agda.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Agda.gitignore b/Agda.gitignore new file mode 100644 index 00000000..171a3897 --- /dev/null +++ b/Agda.gitignore @@ -0,0 +1 @@ +*.agdai |