Descrição
Ferramentas Idris 2 podem reutilizar código de biblioteca para recursos de Language Server Protocol e integração com editores.
É útil para desenvolvedores que criam ou estendem serviços de editor cientes de Idris. É infraestrutura de suporte para ferramentas de desenvolvimento, não uma aplicação independente para o usuário.