Add support for Agda (#463)

spenserblack · web-flow · commit 898ead8c8d02 · 2024-10-22T15:43:31.000Z
diff --git a/gengo/languages.yaml b/gengo/languages.yaml
@@ -91,6 +91,12 @@ Ada:
       - ada
       - adb
       - ads
+Agda:
+  category: programming
+  color: "#FFFFFF"
+  matchers:
+    extensions:
+      - agda
 Arduino:
   category: programming
   color: "#189BA1"
