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.


Versions2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0,
Change logNone available
DependenciesAgda (==2.2.0), base [details]
AuthorUlf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ...
MaintainerUlf Norell <>
CategoryDependent types
Home page
Bug tracker
UploadedTue Mar 17 17:46:19 UTC 2009 by NilsAndersDanielsson
Downloads2994 total (23 in last 30 days)
0 []
StatusDocs not available [build log]
All reported builds failed as of 2015-12-05 [all 4 reports]


Maintainers' corner

For package maintainers and hackage trustees