Descrição
Edição de código Agda pode ganhar recursos de servidor de linguagem, como diagnósticos, integração com editor e feedback estruturado por LSP.
É útil para desenvolvedores e pesquisadores que trabalham com Agda 2 em editores compatíveis com o Language Server Protocol. Ele roda como infraestrutura do editor, não como aplicativo comum, e o comportamento depende da versão do Agda e da configuração do projeto.