The Agda-executable package

[Tags: deprecated, program]

Deprecated in favor of Agda

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

Versions2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0, 2.3.0.1
DependenciesAgda (==2.3.0), base (>=3 && <6)
LicenseOtherLicense
AuthorUlf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
MaintainerUlf Norell <ulfn@chalmers.se>
CategoryDependent types
Home pagehttp://wiki.portal.chalmers.se/agda/
Bug trackerhttp://code.google.com/p/agda/issues/list
Source repositoryhead: darcs get http://code.haskell.org/Agda/
this: darcs get http://code.haskell.org/Agda/ --tag 2.3.0
Executablesagda
Upload dateWed Nov 23 09:12:43 UTC 2011
Uploaded byUlfNorell
Downloads1231 total (87 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees