This is the code for exercises at 'The type theory behind the GHC internals' leap workshop at LambdaConf 2018 (Boulder, CO).
To work with the code on your system, you need either:
stack build
stack exec <executable> [ -- <arguments>]
For example:
stack exec stlc -- test.f
stack ghci <module file>
cabal sandox init
cabal install --only-dependencies
cabal configure
cabal build
cabal run <executable> [ -- <arguments>]
For example:
cabal run stlc -- test.f
cabal repl <executable>
For example:
cabal repl stlc
To work with particular module, you have to load it in GHCi with :load.