Copilot on Windows

[ivanperez-keera]

This is just to publicly document that we've confirmed that Copilot works out of the box on Windows.

The steps are the same as for Linux or Mac:

1. Install Haskell following the instructions in: https://www.haskell.org/ghcup/install/#how-to-install. When asked, make sure you install GHC, Cabal, and mingw.

2. Install Copilot:

cabal install --lib copilot copilot-core copilot-c99 copilot-language \
    copilot-theorem copilot-libraries copilot-interpreter copilot-prettyprinter

After that, you should be able to immediately compile Copilot specs with runhaskell.