Gabor Pali 9ea2254ebc 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>		2010-01-04 03:26:20 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist