The Agda-executable package
This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.
Properties
| Versions | 2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0 |
|---|---|
| Dependencies | Agda (2.2.0), base |
| License | OtherLicense |
| Author | Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ... |
| Maintainer | Ulf Norell <ulfn@chalmers.se> |
| Category | Dependent types |
| Home page | http://wiki.portal.chalmers.se/agda/ |
| Bug tracker | http://code.google.com/p/agda/issues/list |
| Executables | agda |
| Upload date | Tue Mar 17 17:46:19 UTC 2009 |
| Uploaded by | NilsAndersDanielsson |
| Distributions | NixOS: 2.3.0, FreeBSD: 2.2.10 |
Downloads
- Agda-executable-2.2.0.tar.gz (Cabal source package)
- package description (included in the package)