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