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.

WWW:	http://wiki.portal.chalmers.se/agda/