Getting startedΒΆ

After you have been added as a collaborator to the disco github repository, get the source code via SSH:

git clone

If you are not a collaborator on the repository you can also get the source code via HTTPS:

git clone

Make sure you have the stack tool installed. Then navigate to the root directory of the disco repository, and execute

stack setup
stack build

(This may take quite a while the first time, while stack downloads and builds all the dependencies of disco.)

After building disco with stack build, to run the disco REPL (Read-Eval-Print Loop), type stack exec disco at a command prompt. You should see a disco prompt that looks like this: