Installing Agda on Mac OS X

2016-05-26

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

$ stack install --resolver nightly-2016-05-08 Agda
$ stack install text
$ cd ~
$ git clone https://github.com/agda/agda-stdlib.git
module hello where
  open import IO
  main = run (putStrLn "Hello, World!")
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.

$ make
$ ./hello
Hello, World!

Profit!

Tags: Agda, Stack

All content © 2017 Richard Cook. All rights reserved.