From d78354c537e00ddb0976efad1df49c90a224f107 Mon Sep 17 00:00:00 2001
From: Matthew Toohey
Date: Tue, 5 Jul 2022 07:00:38 -0400
Subject: add language `idris` (#2971)

---
 book/src/generated/lang-support.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'book/src')

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` |
-- 
cgit v1.2.3-70-g09d2