LaTeX
explainRules :: [Rule] -> String Source #
programToLaTeX :: Program -> PrintMode -> String Source #