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.1), 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.1
Executablesagda
Upload dateMon Mar 12 11:01:45 UTC 2012
Uploaded byUlfNorell
Downloads1227 total (91 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees