Agda.Interaction.Highlighting.LaTeX
Description
Generating highlighted and aligned LaTeX from literate Agda source.
latexBackend :: Backend Source #