Installing course software

This page helps you install the software you need to complete the assignments
in 6.826. 6.826 relies on Coq 8.6.1 and on Haskell (to run code extracted from Coq).
We assume you will install the software on your own computer. The
instructions are for Linux and macOS. If you run Windows, we suggest you
create a virtual machine with Linux.

Install Coq

We recommend installing Coq
with OPAM, since many other required
packages are also available via OPAM.

Install Haskell

We will use Haskell to compile and run implementations written in Coq
beginning with Lab 1.

We recommend you install Haskell using Stack. The
generic command to install Stack is:

curl -sSL https://get.haskellstack.org/ | sh

On macOS, we recommend you use Homebrew to install Stack with brew install haskell-stack, though you can use the curl command above.

Once you've installed stack, you'll need to do a one-time setup to download
the compiler. If you already use Haskell, this will not interfere with your
existing Haskell setup. Clone the class repo and, in
the statdb-cli directory, run