add agda lsp (#1952)

microsoft · Jun 17, 2024 · 78b51ed · 78b51ed
1 parent d1455fe
commit 78b51ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_implementors/servers.md b/_implementors/servers.md
@@ -15,6 +15,7 @@ index: 1
 | ABAP | [Lars Hvam](https://github.com/larshp) | [abaplint](https://github.com/abaplint/abaplint) | TypeScript |
 | ActionScript 2.0 | [Adam Vernon](https://github.com/admvx) |  [AS2 Language Support](https://github.com/admvx/as2-language-support) | TypeScript |
 | Ada/SPARK | AdaCore |  [ada_language_server](https://github.com/AdaCore/ada_language_server) | Ada |
+| [agda](https://wiki.portal.chalmers.se/agda/pmwiki.php) | [agda](https://github.com/agda) | [agda-language-server](https://github.com/agda/agda-language-server) | Haskell |
 | [AML](https://a.ml/) | [AML](https://a.ml/) | [AML Language Server](https://github.com/aml-org/als) | ScalaJS |
 | [Ansible](https://docs.ansible.com/ansible/latest/) | [Ansible](https://www.ansible.com/) | [Ansible Language Server](https://github.com/ansible/vscode-ansible) | TypeScript |
 | Angular | [Angular team](https://github.com/angular/angular) & [ivanwonder](https://github.com/ivanwonder) | [Angular Language Server](https://github.com/angular/vscode-ng-language-service/tree/main/server) | TypeScript |