diff --git a/changes.txt b/changes.txt
--- a/changes.txt
+++ b/changes.txt
@@ -1,3 +1,8 @@
+1.5.10.0
+--------
+
+- Add Agda syntax (suggested by eldritchcookie).
+
 1.5.9.1
 -------
 
diff --git a/doc/usr/page.rst b/doc/usr/page.rst
--- a/doc/usr/page.rst
+++ b/doc/usr/page.rst
@@ -194,6 +194,7 @@
 - Zig files (``.zig``)
 - Scheme files (``.scm``, ``.ss``)
 - Lisp files (``.lisp``, ``.lsp``, ``.l``, ``.cl``, ``.fasl``)
+- Agda files (``.agda``, ``.lagda``)
 - plain text files (``.txt``)
 
 If you want a file type ``.xyz`` to be recognised as one in the list above,
diff --git a/lentil.cabal b/lentil.cabal
--- a/lentil.cabal
+++ b/lentil.cabal
@@ -1,6 +1,6 @@
 cabal-version:       3.0
 name:                lentil
-version:             1.5.9.1
+version:             1.5.10.0
 synopsis:            frugal issue tracker
 description:         minumum effort, cohesive issue tracker based on
                      ubiquitous @TODO@s and @FIXME@s conventions.
@@ -42,6 +42,7 @@
                      test/test-files/lang-comm/latex.tex,
                      test/test-files/lang-comm/zig.zig,
                      test/test-files/lang-comm/scheme.scm,
+                     test/test-files/lang-comm/agda.agda,
                      test/test-files/specific/contiguous.c,
                      test/test-files/specific/cont-custom.c,
                      test/test-files/specific/latin1.c,
diff --git a/src/Lentil/Parse/Syntaxes.hs b/src/Lentil/Parse/Syntaxes.hs
--- a/src/Lentil/Parse/Syntaxes.hs
+++ b/src/Lentil/Parse/Syntaxes.hs
@@ -84,6 +84,7 @@
               ([".scm", ".ss"],         Just scheme), -- Scheme
               ([".lisp", ".lsp", ".l",
                 ".cl", ".fasl"],        Just scheme), -- Lisp
+              ([".agda", ".lagda" ],    Just haskell), -- Agda
               ([".txt", ".md"],         Just text) ]
 
 haskell, c, zig, javascript, pascal, python, ruby, perl, nix,
diff --git a/src/Main.hs b/src/Main.hs
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -16,6 +16,7 @@
 -- todo [design] lentil con lexer?
 -- todo [feature:basic] lentil <-- invoke with lentil . or lentil --help
 -- todo [feature:basic] add groff syntax
+-- todo [feature:advanced] support python/lisp docstrings
 
 main :: IO ()
 main = I.hSetBuffering I.stderr I.NoBuffering >> -- b/c progress bar
@@ -45,7 +46,7 @@
                                    short 'v'      S.<>
                                    help "show version and copyright info" )
     where
-          versionCopy = "\nlentil - frugal issue tracker, version 1.5.9.1\n\
+          versionCopy = "\nlentil - frugal issue tracker, version 1.5.10.0\n\
                         \(C) 2015-2024 Francesco Ariis - http://www.ariis.it\n\
                         \released under the GNU General Public License v3\n"
 
diff --git a/test/Lentil/Parse/RunSpec.hs b/test/Lentil/Parse/RunSpec.hs
--- a/test/Lentil/Parse/RunSpec.hs
+++ b/test/Lentil/Parse/RunSpec.hs
@@ -124,3 +124,6 @@
     it "parses a Scheme/Lisp source" $
         fileParser [] [] "test/test-files/lang-comm/scheme.scm"
             `shouldReturn` spt "test/test-files/lang-comm/scheme.scm"
+    it "parses an Agda source" $
+        fileParser [] [] "test/test-files/lang-comm/agda.agda"
+            `shouldReturn` spt "test/test-files/lang-comm/agda.agda"
diff --git a/test/test-files/lang-comm/agda.agda b/test/test-files/lang-comm/agda.agda
new file mode 100644
--- /dev/null
+++ b/test/test-files/lang-comm/agda.agda
@@ -0,0 +1,9 @@
+-- TODO: single
+-- comment
+-- todo single2
+
+someOther = "Привет \"мир\"\n" -- string
+char' = '∀' -- char
+
+{- todo block1 -}
+{- todo block2 [tog] -}