This website requires JavaScript.
Explore
Help
Sign In
docs
/
gitignore
Watch
1
Star
0
Fork
0
You've already forked gitignore
mirror of
https://github.com/github/gitignore
synced
2024-11-05 11:28:50 +01:00
Code
Issues
Releases
Wiki
Activity
3bb7b4b767
gitignore
/
Agda.gitignore
3 lines
19 B
Plaintext
Raw
Normal View
History
Unescape
Escape
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
*.agdai
Add MAlonzo directory. (#2978)
2019-03-08 13:47:43 +01:00
MAlonzo/**
Reference in New Issue
Copy Permalink