From 5e11c4852fe4aa086b0e4fe5885822fbe57ba928 Mon Sep 17 00:00:00 2001
From: Alexander Altman <alexanderaltman@me.com>
Date: Fri, 23 Dec 2016 05:34:15 -0800
Subject: [PATCH] Add Agda Support (#91)

---
 languages.json | 6 ++++++
 1 file changed, 6 insertions(+)

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":[
                 ";"