Descrição
Arquivos-fonte Idris podem ser editados com comportamento consciente da linguagem para projetos de programação com tipos dependentes.
É uma extensão do Emacs, não um aplicativo de desktop separado. Instale quando esse fluxo de editor for necessário; o comportamento depende da configuração do Emacs do usuário e dos pacotes relacionados.