Installing Agda on Mac OS X


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
module hello where
  open import IO
  main = run (putStrLn "Hello, World!")
  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!


Tags: Agda, Stack

All content © 2018 Richard Cook. All rights reserved.