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.2.0), base
LicenseOtherLicense
AuthorUlf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, 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
Executablesagda
Upload dateTue Mar 17 17:46:19 UTC 2009
Uploaded byNilsAndersDanielsson
Downloads1418 total (187 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees