LICENSE:
Agda is freely available and may be used by anyone without any
restrictions except that you may not pretend that you wrote this...
If you find this to be a valuable tool then I'd gladly accept a
nice bottle of whisky (or suitable alternative) :-)
REQUIREMENTS:
Sun Solaris and a C compiler.
DOWNLOAD:
Main FTP site: ftp://ftp.lysator.liu.se/pub/unix/agda>
Alternate site: ftp://ftp.ifm.liu.se/pub/unix/agda>