This is a simple introduction to model checking, written in literate Haskell. See src/ModelChecking*.lhs.
The build.sh script runs cabal build to compile the code, and builds
documentation using pandoc.
You can use nix develop to enter a shell with all dependencies required to
run build.sh. Or use:
$ nix build
$ firefox result-doc/share/doc/model-checking-0.1.0.0/html/src/ModelChecking{1,2}.html