diff --git a/languages.json b/languages.json
index 814944b..10042f4 100644
--- a/languages.json
+++ b/languages.json
@@ -17,6 +17,12 @@
                 "pad"
             ]
         },
+        "Agda":{
+            "base": "haskell",
+            "extensions":[
+                "agda"
+            ]
+        },
         "Assembly":{
             "single":[
                 ";"