Agda-executable: Command-line program for type-checking and compiling Agda programs
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.
| Versions | 2.2.0, 2.2.2, 2.2.4, 2.2.6 |
|---|---|
| Dependencies | Agda (==2.2.2), 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 |
| Source repository | darcs get http://code.haskell.org/Agda/ |
| Executables | agda |
| Upload date | Thu Apr 16 21:53:18 UTC 2009 |
| Uploaded by | NilsAndersDanielsson |
| Distributions | Arch: 2.2.6 |
Downloads
- Agda-executable-2.2.2.tar.gz (Cabal source package)
- package description (included in the package)