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, 2.3.0.1 |
|---|---|
| Dependencies | Agda (2.3.0.1), base (≥3 & <6) |
| License | OtherLicense |
| Author | Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, 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 |
| Source repository | darcs get http://code.haskell.org/Agda/ |
| Executables | agda |
| Upload date | Mon Mar 12 11:01:45 UTC 2012 |
| Uploaded by | UlfNorell |
| Distributions | Fedora: 2.3.0.1, NixOS: 2.3.0.1 |
Downloads
- Agda-executable-2.3.0.1.tar.gz (Cabal source package)
- package description (included in the package)