A Scheme-like language interpreter written in Haskell
A STG-like lazy evaluation mechanism in JavaScript
Automatically generates LaTeX snippets of derivation trees from LK sequents
