From c56761e8330fae5a6ac049dfdb179aae7f7b9036 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Thu, 15 Aug 2013 03:18:55 +0200
Subject: [PATCH] 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
---
 Agda.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Agda.gitignore

diff --git a/Agda.gitignore b/Agda.gitignore
new file mode 100644
index 00000000..171a3897
--- /dev/null
+++ b/Agda.gitignore
@@ -0,0 +1 @@
+*.agdai