diff --git a/docs/src/languages/erlang.md b/docs/src/languages/erlang.md index f4c39fc527bccc9fb3c987c2ab2f5d342b89fc43..e82e6d48c36ed627cda9031272754802380e967f 100644 --- a/docs/src/languages/erlang.md +++ b/docs/src/languages/erlang.md @@ -3,7 +3,27 @@ Erlang support is available through the [Erlang extension](https://github.com/zed-extensions/erlang). - Tree-sitter: [WhatsApp/tree-sitter-erlang](https://github.com/WhatsApp/tree-sitter-erlang) -- Language Server: [erlang-ls/erlang_ls](https://github.com/erlang-ls/erlang_ls) +- Language Servers: + - [erlang-ls/erlang_ls](https://github.com/erlang-ls/erlang_ls) + - [WhatsApp/erlang-language-platform](https://github.com/WhatsApp/erlang-language-platform) + +## Choosing a language server + +The Erlang extension offers language server support for `erlang_ls` and `erlang-language-platform`. + +`erlang_ls` is enabled by default. + +To switch to `erlang-language-platform`, add the following to your `settings.json`: + +```json +{ + "languages": { + "Erlang": { + "language_servers": ["elp", "!erlang-ls", "..."] + } + } +} +``` ## See also: