Agda 1 1.0.2
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 5.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Agda 1
Agda es un sistema para desarrollar de forma incremental pruebas y programas. Este es el proyecto sourceforge para el Agda PREVIOUS (Agda 1). Una versión más reciente de Agda (Agda 2) en pruebas beta está disponible en: http://wiki.portal.chalmers.se/agda/