@hackage Agda-executable2.2.10

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

Categories
License
LicenseRef-OtherLicense
Maintainer
Ulf Norell <ulfn@chalmers.se>
Links
Versions
- 2.3.0.1 Mon, 12 Mar 2012
- 2.3.0 Wed, 23 Nov 2011
- 2.2.10 Sun, 20 Feb 2011
- 2.2.8 Mon, 27 Sep 2010
- 2.2.6 Wed, 23 Dec 2009
- 2.2.4 Tue, 7 Jul 2009

Deprecated
This package has been deprecated in favour of
- @hackage/Agda
Dependencies (0)
- base >=3 && <6
- Agda ==2.2.10
Dependents (1)
@hackage/acme-everything

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.

@hackage Agda-executable2.2.10

Categories

License

Maintainer

Links

Versions

Deprecated

Dependencies (0)

Dependents (1)