Descargar Agda para Linux

Esta es la aplicación para Linux 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 el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux 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, instálala y ejecútala.

DESCARGAR LA APLICACIÓN Ejecutar en Ubuntu Ejecutar en Fedora Ejecutar en Windows Sim Ejecutar en MACOS Sim

CAPTURAS DE PANTALLA:

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

Lenguajes de programación

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.