Agda 1 1.0.2

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 5.0/5 - ‎1 ‎votos

Sobre Agda 1

A Agda é um sistema para desenvolver gradualmente provas e programas. Este é o projeto de fonte de ordenação da AGDA ANTERIOR (Agda 1). Uma versão mais recente da Agda (Agda 2) em testes beta está disponível a partir de: http://wiki.portal.chalmers.se/agda/