Descrição
Editores podem oferecer diagnósticos, autocompletar e navegação para Idris 2 pelo Language Server Protocol.
É útil para desenvolvedores que querem suporte mais rico a Idris 2 em editores compatíveis com LSP. Language servers rodam junto do editor e analisam arquivos do projeto, então confiança no workspace importa.