Description
Editors can provide Idris 2 diagnostics, completion, and navigation through the Language Server Protocol.
It is useful for developers who want richer Idris 2 support in LSP-capable editors. Language servers run alongside the editor and analyze project files, so workspace trust matters.