Haskelite-coq

Proving Haskelite's big-step and small-step semantics equivalent.

Building

Run the following command:

dune build

Or, if you have Nix:

nix build

Devshell

To enter a devshell with all dependencies and development tools needed for the project:

nix develop .# -c $SHELL