Add grammer for Agda

wasabi315 · Mar 18, 2024 · f5b18cd · f5b18cd
1 parent 71f850e
commit f5b18cd
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 124 deletions.
diff --git a/astro.config.mjs b/astro.config.mjs
@@ -15,7 +15,7 @@ export default defineConfig({
   markdown: {
     shikiConfig: {
       theme: "nord",
-      // langs: [agda],
+      langs: ["javascript", "typescript", "haskell", "ocaml", "rust", agda],
     },
     remarkPlugins: [remarkToc, remarkMath],
     rehypePlugins: [

diff --git a/src/data/agda.tmLanguage b/src/data/agda.tmLanguage
diff --git a/src/data/agda.tmLanguage.json b/src/data/agda.tmLanguage.json
@@ -2,7 +2,7 @@
   "fileTypes": [
     "agda"
   ],
-  "name": "Agda",
+  "name": "agda",
   "patterns": [
     {
       "begin": "--",