From 78b51ed058b1f2fa79819283f290502c5ca82a22 Mon Sep 17 00:00:00 2001 From: Asuka Minato Date: Mon, 17 Jun 2024 16:07:00 +0900 Subject: [PATCH] add agda lsp (#1952) --- _implementors/servers.md | 1 + 1 file changed, 1 insertion(+) diff --git a/_implementors/servers.md b/_implementors/servers.md index ad061ab90..e827d6798 100644 --- 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 |