diff --git a/_implementors/servers.md b/_implementors/servers.md
index ad061ab..e827d67 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 |