MacOS x86_64
How to install Roc
In order to develop in Roc, you need to install the Roc CLI, which includes the Roc compiler and some helpful utilities.
-
Download the latest roc nightly using the terminal:
-
Untar the archive:
-
Install z3:
-
To be able to run the
roc
command anywhere on your system; add the line below to your shell startup script (.profile, .zshrc, ...): -
Check everything worked by executing
roc version
-
Download and run hello world: