Install Agda on MacOS X

$ brew install agda
$ cabal update
$ cabal install --lib ieee754

then to compile a sample program, such as hello-world.agda

$ agda --compile src/hello-world.agda

if everything works, then you should be able to run it with

$ ./hello-world
Hello, World!
$

Guides to Agda

This source code is licensed under the Creative Commons Zero v1.0 Universal.