RERE.LaTeX

Pretty-print structures as LaTeX code.

Note: doesn't work with MathJax.

Requires xcolor package. You need to define colors, for example:

\colorlet{rerelit}{red!80!black}    % literal characters
\colorlet{reresym}{green!50!black}  % symbols: eps and emptyset
\colorlet{rereidn}{blue}            % identifiers
\colorlet{rerestr}{red!50!blue}     % strings (subscripts)

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.