From 1f36e55b3181e0cf71c6cc67c2ab83289864e920 Mon Sep 17 00:00:00 2001
From: pufferffish <github@bandersnatch.anonaddy.com>
Date: Tue, 3 Oct 2023 12:43:13 +0100
Subject: [PATCH] Add support for Agda

---
 syntax.json | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/syntax.json b/syntax.json
index 0dafe57..8d9a54a 100644
--- a/syntax.json
+++ b/syntax.json
@@ -812,5 +812,21 @@
         }
       }
     ]
+  },
+  {
+    "language": "Agda",
+    "markers": [
+      {
+        "type": "line",
+        "pattern": "--"
+      },
+      {
+        "type": "block",
+        "pattern": {
+          "start": "{-",
+          "end": "-}"
+        }
+      }
+    ]
   }
 ]