Skip to content
Browse files

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
  • Loading branch information...
1 parent b2c694d commit c56761e8330fae5a6ac049dfdb179aae7f7b9036 @Blaisorblade Blaisorblade committed
Showing with 1 addition and 0 deletions.
  1. +1 −0 Agda.gitignore
View
1 Agda.gitignore
@@ -0,0 +1 @@
+*.agdai

0 comments on commit c56761e

Please sign in to comment.
Something went wrong with that request. Please try again.