This is the Linux app named Agda whose latest release can be downloaded as Agda-v2.8.0-win64.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named Agda with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS
Ad
Agda
DESCRIPTION
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code.
Features
- Dependently typed language enabling encoding of proofs as types
- Totality and termination checking to ensure consistency
- Interactive proof development with metavariables and Emacs/Vim/VS Code integration
- Unicode support and syntax reminiscent of Haskell
- Standard library containing definitions for core data structures and proofs
- Backends including MAlonzo (Haskell) and JavaScript for compilation targets
Programming Language
Haskell
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/agda.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
