Esta es la aplicación para Windows llamada Agda, cuya última versión se puede descargar como Agda-v2.8.0-win64.zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Agda con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie cualquier emulador en línea de OS OnWorks desde este sitio web, pero mejor emulador en línea de Windows.
- 5. Desde el sistema operativo OnWorks Windows que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación e instálala.
- 7. Descargue Wine desde los repositorios de software de sus distribuciones de Linux. Una vez instalada, puede hacer doble clic en la aplicación para ejecutarla con Wine. También puedes probar PlayOnLinux, una elegante interfaz sobre Wine que te ayudará a instalar programas y juegos populares de Windows.
Wine es una forma de ejecutar software de Windows en Linux, pero no requiere Windows. Wine es una capa de compatibilidad de Windows de código abierto que puede ejecutar programas de Windows directamente en cualquier escritorio de Linux. Esencialmente, Wine está tratando de volver a implementar una cantidad suficiente de Windows desde cero para poder ejecutar todas esas aplicaciones de Windows sin necesidad de Windows.
SCREENSHOTS
Ad
agda
DESCRIPCIÓN
Agda es un lenguaje de programación totalmente funcional con tipado dependiente y demostrador interactivo de teoremas basado en la teoría de tipos de Martin-Löf. Permite expresar programas y demostraciones en el mismo lenguaje mediante la correspondencia Curry-Howard. Ofrece desarrollo interactivo mediante Emacs, Atom o VS Code.
Caracteristicas
- Lenguaje de tipado dependiente que permite la codificación de pruebas como tipos
- Comprobación de totalidad y terminación para garantizar la coherencia
- Desarrollo de pruebas interactivas con metavariables e integración de Emacs/Vim/VS Code
- Compatibilidad con Unicode y sintaxis que recuerda a Haskell
- Biblioteca estándar que contiene definiciones de estructuras de datos centrales y pruebas
- Backends que incluyen MAlonzo (Haskell) y JavaScript para objetivos de compilación
Lenguaje de programación
Haskell
Categorías
Esta aplicación también se puede descargar desde https://sourceforge.net/projects/agda.mirror/. Está alojada en OnWorks para facilitar su ejecución en línea desde uno de nuestros sistemas operativos gratuitos.
