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