Getting startedΒΆ
After you have been added as a collaborator to the disco github repository, get the source code via SSH:
git clone git@github.com:disco-lang/disco.git
If you are not a collaborator on the repository you can also get the source code via HTTPS:
git clone https://github.com/disco-lang/disco.git
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:
Disco>