FreeBSD

Packages are available from FreshPorts: hs-Agda and hs-Agda-executable.