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.


Versions 2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0,
Dependencies Agda (==2.2.4), base (>=3 && <6) [details]
License OtherLicense
Author Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
Maintainer Ulf Norell <>
Category Dependent types
Home page
Bug tracker
Source repository head: darcs get
this: darcs get --tag 2.2.4
Uploaded Tue Jul 7 20:19:21 UTC 2009 by NilsAndersDanielsson
Distributions NixOS:
Downloads 3457 total (35 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-12-31 [all 6 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees