Fork of @jrochel's lambdascope, an optimal lambda calculus evaluator with delimiter bookkeeping. Upstream fails with current GHC versions, this one does not.
This is a rough import of the modifications used in my optimal-effects project. As such, it has several additional changes:
- unicode rendering via ttf support
- random rule application
- removal of irrelevant graph-rewriting features
- several odd modifications only useful for optimal-effects
cabal run lambdascope -- [--bench] [--lmo] <path>