blob: 2d3f0c6925a10a65e99b45451f2b5343f7b617bb (
plain) (
blame)
1
2
3
4
5
|
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/
|