title: LaTeX natural deduction proofs using Haskell
body: <p>How can one create LaTeX source for natural deduction proof trees (<a href="http://www.logicmatters.net/latex-for-logicians/nd/" rel="noreferrer">like those shown here</a>) via Haskell eg using <a href="http://hackage.haskell.org/package/HaTeX" rel="noreferrer">HaTeX</a>? I'd like to emulate LaTeX <code>.sty</code>s like <a href="http://math.ucsd.edu/~sbuss/ResearchWeb/bussproofs/" rel="noreferrer">bussproofs.sty</a> or <a href="http://research.nii.ac.jp/~tatsuta/proof-sty.html" rel="noreferrer">proof.sty</a>.</p>