Descrição
Desenvolve e verifica programas e provas em Agda, uma linguagem funcional com tipos dependentes e assistente de prova. É útil para métodos formais, pesquisa em linguagens de programação e experimentos de software verificado.
É um ambiente de linguagem de desenvolvimento, não um aplicativo para usuários finais. A build git pode mudar comportamento, então fixe versões em cursos, artigos ou projetos de prova reproduzíveis.