From 9c1dc652e879c82649ee7cad61c791ce78132637 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Zigar=C3=A1n?= <gjzigaran@gmail.com>
Date: Thu, 4 Apr 2024 13:56:34 -0300
Subject: [PATCH] Create _config.yml

---
 _config.yml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 _config.yml

diff --git a/_config.yml b/_config.yml
new file mode 100644
index 0000000..e54b265
--- /dev/null
+++ b/_config.yml
@@ -0,0 +1,9 @@
+name: Agda Clones
+exclude:
+  - "*.agdai"
+  - "*.lagda"
+  - "*.agda"
+  - "*.hs"
+  - "*.hi"
+  - "*.o"
+  - "README.md"