 | AGDA.Editor de prova interativa de código aberto e aberto para o seu Mac |
| Baixe Agora | |
AGDA. Classificação e resumo
Propaganda
- Licença:
- Freeware
- Preço:
- FREE
- Nome do editor:
- Agda Team
- Site do editor:
- http://unit.aist.go.jp/cvs/Agda/
- Sistemas operacionais:
- Mac OS X
- Tamanho do arquivo:
- 7.8 MB
AGDA. Tag
AGDA. Descrição
Editor de prova interativo de código livre gratuito para o seu Mac AGDA é um editor de prova interativa ou profissional. AGDA é um sistema para programas e provas incrementalmente desenvolvendo.Note: AGDA é licenciada e distribuída sob os termos da licença do MIT.
AGDA. Software Relacionado
Cernunnos.
projeto contendo práticas de programação que reduzem o esforço e maximizam a proporção de valor comercial para custos no software ...
13.4 MB
Elif
módulo de desenvolvimento de rubi que irá ajudá-lo a ler uma linha de arquivos por linha na ordem inversa ...
21 KB
Mixin
Solução de desenvolvimento que irá ajudá-lo a escrever mixins da mesma maneira que você escreve aulas ...
10 KB