language-servers/language-server-protocol
1
0
Fork 0
mirror of https://github.com/microsoft/language-server-protocol.git synced 2025-12-23 08:48:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

add agda lsp (#1952)

Browse source
This commit is contained in:
Asuka Minato 2024-06-17 16:07:00 +09:00 • committed by GitHub
parent d1455fef87
commit 78b51ed058
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
_implementors/servers.md
View file

@ -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 |