Create _config.yml

gonzigaran · Apr 4, 2024 · 9c1dc65 · 9c1dc65
1 parent a727091
commit 9c1dc65
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/_config.yml b/_config.yml
@@ -0,0 +1,9 @@
+name: Agda Clones
+exclude:
+  - "*.agdai"
+  - "*.lagda"
+  - "*.agda"
+  - "*.hs"
+  - "*.hi"
+  - "*.o"
+  - "README.md"