classical sequent calculus, embedded in Haskell - View it on GitHub