You’ll need the Xcode developer tools as a basic prerequisite.

• Install Stack
• Install Agda tools

$ stack install --resolver nightly-2016-05-08 Agda

• Install some Haskell libraries required by the “Hello world” program

$ stack install text

• Grab the Agda standard library

$ cd ~
$ git clone https://github.com/agda/agda-stdlib.git

• Create a “Hello world” program hello.agda

module hello where
  open import IO
  main = run (putStrLn "Hello, World!")

• Create a Makefile

default:
  stack exec -- agda -i ~/agda-stdlib/src -i . -c hello.agda

Running agda via stack will ensure that GHC can find your Haskell packages.

• Build the code

$ make

• Run the program

$ ./hello
Hello, World!

Profit!

Tags