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: 489ce5aca373f1a39abc82d4dde212002fe973ba (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/