K 10
svn:author
V 3
pgj
K 8
svn:date
V 27
2010-01-04T03:26:20.000000Z
K 7
svn:log
V 289
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/

PR:		ports/142141
Submitted by:	Jacula Modyun <jacula(at)gmail.com>

END