Agda.Interaction.Highlighting.LaTeX.Backend
latexBackend :: Backend Source #
latexBackendName :: BackendName Source #