Agda 1 1.0.2

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 5.0/5 - ‎1 ‎Votos

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/

historial de versiones

  • Versión 1.0.2 publicado en 2008-04-23
    Varias correcciones y actualizaciones
  • Versión 1.0.2 publicado en 2008-04-23

Detalles del programa