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

Versions 2.2.0, 2.2.2, 2.2.4, 2.2.6, 2.2.8, 2.2.10, 2.3.0, 2.3.0.1
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 <ulfn@chalmers.se>
Stability Unknown
Category Dependent types
Home page http://wiki.portal.chalmers.se/agda/
Bug tracker http://code.google.com/p/agda/issues/list
Source repository head: darcs get http://code.haskell.org/Agda/
this: darcs get http://code.haskell.org/Agda/ --tag 2.2.4
Uploaded Tue Jul 7 20:19:21 UTC 2009 by NilsAndersDanielsson
Distributions NixOS:2.3.0.1
Downloads 3107 total (37 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-05 [all 4 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees