Add Agda Support (#91)

2024-06-30 22:24:25 +00:00 · 2016-12-23 05:34:15 -08:00 · 2016-12-23 05:34:15 -08:00 · 5e11c4852f
commit 5e11c4852f
parent f3f21ae6f1
1 changed files with 6 additions and 0 deletions
--- a/languages.json
+++ b/languages.json
@ -17,6 +17,12 @@
                "pad"
            ]
        },
+        "Agda":{
+            "base": "haskell",
+            "extensions":[
+                "agda"
+            ]
+        },
        "Assembly":{
            "single":[
                ";"