# Workshop Environment Alternatives

These instructions are provided as a backup if you are not able to use our provided development container.

## Codespaces

Click the badge below to open this repository in a GitHub Codespace. This is currently only available for users in the [personal account beta](https://docs.github.com/en/codespaces/overview).

[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?hide_repo_select=true&ref=main&repo=542194938)

## Manual setup

Of course there's always the option of installing everything you need on your own computing environment!

You will need to install the following:

1. [Dafny](https://github.com/dafny-lang/dafny/wiki/INSTALL)
    1. Make sure that the `dafny` CLI is on your PATH.
    1. The workshop involves compiling Dafny code to multiple target programming languages,
       so be sure to follow the instructions on 
       [installing these languages](https://github.com/dafny-lang/dafny/wiki/INSTALL#compiling-dafny) as well.
2. [Duvet](https://github.com/awslabs/duvet)
    1. First install [Rust](https://www.rust-lang.org/tools/install)
    2. Then run `cargo +stable install duvet`
3. [Visual Studio Code](https://code.visualstudio.com/download), plus some necessary extensions:
    1. [Dafny](https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode)
    2. [Live Server](https://marketplace.visualstudio.com/items?itemName=ritwickdey.LiveServer)