From d78354c537e00ddb0976efad1df49c90a224f107 Mon Sep 17 00:00:00 2001
From: Matthew Toohey <contact@mtoohey.com>
Date: Tue, 5 Jul 2022 07:00:38 -0400
Subject: [PATCH] add language `idris` (#2971)
---
book/src/generated/lang-support.md | 1 +
languages.toml | 11 +++++++++++
2 files changed, 12 insertions(+)
diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 3c56a6f4..85e42b15 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -40,6 +40,7 @@
| hcl | ✓ | | ✓ | `terraform-ls` |
| heex | ✓ | | | |
| html | ✓ | | | `vscode-html-language-server` |
+| idris | | | | `idris2-lsp` |
| iex | ✓ | | | |
| java | ✓ | | | `jdtls` |
| javascript | ✓ | | ✓ | `typescript-language-server` |
diff --git a/languages.toml b/languages.toml
index 7c63c051..9da454a0 100644
--- a/languages.toml
+++ b/languages.toml
@@ -1503,3 +1503,14 @@ grammar = "elvish"
[[grammar]]
name = "elvish"
source = { git = "https://github.com/ckafi/tree-sitter-elvish", rev = "e50787cadd3bc54f6d9c0704493a79078bb8a4e5" }
+
+[[language]]
+name = "idris"
+scope = "source.idr"
+injection-regex = "idr"
+file-types = ["idr"]
+shebangs = []
+roots = []
+comment-token = "--"
+indent = { tab-width = 2, unit = " " }
+language-server = { command = "idris2-lsp" }