From 4329b11e0144e830deb6fa81a33d7eb9dee8b9a9 Mon Sep 17 00:00:00 2001
From: Nimaoth <nicolas.otremba@web.de>
Date: Sun, 28 Apr 2024 18:15:46 +0200
Subject: [PATCH] added agda language detection

---
 src/text/language/languages.nim | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/text/language/languages.nim b/src/text/language/languages.nim
index 02e216ce..2defc6b2 100644
--- a/src/text/language/languages.nim
+++ b/src/text/language/languages.nim
@@ -7,6 +7,7 @@ proc getLanguageForFile*(filename: string): Option[string] =
     extension = extension[1..^1]
 
   let languageId = case extension
+  of "agda", "lagda": "agda"
   of "c", "cc", "inc": "c"
   of "sh": "bash"
   of "cs": "csharp"