Este é o aplicativo Linux chamado Agda, cuja versão mais recente pode ser baixada como Agda-v2.8.0-win64.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado Agda com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
CAPTURAS DE TELA:
Agda
DESCRIÇÃO:
Agda é uma linguagem de programação totalmente funcional, de tipagem dependente, e um provador interativo de teoremas baseado na teoria de tipos de Martin-Löf. Ela permite expressar programas e provas na mesma linguagem, utilizando a correspondência Curry-Howard. Oferece desenvolvimento interativo via Emacs, Atom ou VS Code.
Recursos
- Linguagem de tipagem dependente que permite a codificação de provas como tipos
- Verificação de totalidade e término para garantir consistência
- Desenvolvimento de prova interativa com metavariáveis e integração Emacs/Vim/VS Code
- Suporte Unicode e sintaxe que lembra Haskell
- Biblioteca padrão contendo definições para estruturas de dados principais e provas
- Backends incluindo MAlonzo (Haskell) e JavaScript para alvos de compilação
Linguagem de Programação
Haskell
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/agda.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.