RERE.LaTeX

Pretty-print structures as LaTeX code.

Note: doesn't work with MathJax.

Requires rere.sty distributed with this package, or definition of the macros that are provided by rere.sty in some other way.

Documentation

putLatex :: RE Void -> IO ()

Pretty-print RE as LaTeX code.

putLatexTrace :: RE Void -> String -> IO ()

Run match variant, collect intermediate steps, and pretty-print that trace.

putLatexCFG :: Vec n Name -> CFG n Void -> IO ()

Pretty-print CFG given the names.