Agda-executable: Command-line program for type-checking and compiling Agda programs

[ dependent-types, deprecated, program ] [ Propose Tags ]
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.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0,
Dependencies Agda (==, base (>=3 && <6) [details]
License LicenseRef-OtherLicense
Author Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
Maintainer Ulf Norell <>
Category Dependent types
Home page
Bug tracker
Source repo head: darcs get
this: darcs get --tag
Uploaded by UlfNorell at 2012-03-12T11:01:45Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables agda
Downloads 9162 total (30 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-10-24 [all 14 reports]