.gitignore #16

gdmcbain · Nov 7, 2023 · b5c26af · b5c26af
1 parent fee58aa
commit b5c26af
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/agda/.gitignore b/agda/.gitignore
@@ -0,0 +1,4 @@
+*.o
+*.hi
+*.hs
+*.agdai