 | AgdaEditor de prueba interactivo gratuito y abierto para su Mac |
| Descargar ahora | |
Agda Clasificación y resumen
Anuncio publicitario
- Licencia:
- Freeware
- Precio:
- FREE
- Nombre del editor:
- Agda Team
- Sitio web del editor:
- http://unit.aist.go.jp/cvs/Agda/
- Sistemas operativos:
- Mac OS X
- Tamaño del archivo:
- 7.8 MB
Agda Etiquetas
Agda Descripción
Editor de prueba interactivo de código abierto y abierto para su Mac AGDA es un editor de prueba interactivo, o asistente de prueba. AGDA es un sistema para programas y pruebas de desarrollo incrementales. Nota: AGDA tiene licencia y distribuida en los términos de la licencia MIT.
Agda Software relacionado
CERNUNNOS
Proyecto que contiene prácticas de programación que reducen el esfuerzo y maximiza la proporción de valor comercial a costo en el software ...
13.4 MB
Elif
Módulo de desarrollo de Ruby que le ayudará a leer una línea de archivos por línea en orden inverso ...
21 KB
Mezcla
Solución de desarrollo que lo ayudará a escribir Mixins de la misma manera que escribe clases ...
10 KB