pkg-descr « hs-Agda-executable « math - freebsd-ports-gnome - FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

index : freebsd-ports-gnome

FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)

about summary refs log tree commit diff stats

path: root/math/hs-Agda-executable/pkg-descr

blob: e6525337a1d76beaf32b3a55bd06f549ebacef12 (plain) (blame)

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/