[Agda] FreeBSD and Agda

Jacula Modyun jacula at gmail.com
Fri Jan 8 15:32:38 CET 2010


Hi all,

I'm pleased to (finally!) announce the FreeBSD ports of Agda:

http://www.freshports.org/math/hs-Agda

http://www.freshports.org/math/hs-Agda-executable

Please test as much as possible these two ports; I'm very grateful for
every suggestion.

Thanks for your work and for Agda.

Jacula

----

http://www.autistici.org/jacula


More information about the Agda mailing list