freebsd-ports/math/hs-Agda-executable/pkg-descr at ec29a59ec3d0472e808e9907b2f18dce2e9fe68c - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

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

5 lines

220 B

Text

Raw Blame History

 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/