The latest version of Agda-executable is 2.3.0.1-0.
Agda-executable
Version 2.2.6 revision 0 uploaded by NilsAndersDanielsson.
Package meta
- Synopsis
- Command-line program for type-checking and compiling Agda programs
- Description
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.
- Author
- Ulf Norell, Nils Anders Danielsson, Catarina Coquand, Makoto Takeyama, Andreas Abel, ...
- Bug reports
- http://code.google.com/p/agda/issues/list
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- http://wiki.portal.chalmers.se/agda/
- Maintainer
- Ulf Norell <ulfn@chalmers.se>
- Package URL
- n/a
- Stability
- n/a