StitchLH is a reimplementation of Stitch using LiquidHaskell.

Stitch is a full implementation of the simply typed lambda-calculus. The main stitch-lh executable is a REPL, allowing the user to write lambda-expressions and evaluating them. Run :help at the prompt to see other commands.

Under the hood, StitchLH is implemented with a simple abstract syntax tree. LiquidHaskell is used to ensure that only well-typed Stitch terms can be built internally. This feat requires little use of modern GHC/Haskell features.

To build and test

nix-shell --pure --run "stack --nix test"

To run the interpreter

nix-shell --pure --run "stack --nix exec stitch-lh"