Haskell implementations of type systems as described in Benjamin Pierce's Types and Programming Languages.
Each program uses cabal to compile and run (this book is a great resource)
To build and run follow these steps:
cd <name of project directory>
source ~/.ghcup/env
cabal build
cabal run