diff --git a/README.md b/README.md index 631c1e2..d93b35b 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ Language Server for Idris2. ## Installation with [Pack](https://github.com/stefan-hoeck/idris2-pack) (Recommended) ```bash -pack install-app idris2-lsp # TODO: upload this to pack. Does pack automatically install lsp-lib as a dependency? +pack install-app idris2-lsp ``` ## Manual Installation