Agda
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Interaction.Highlighting.LaTeX.Backend
Documentation
latexBackend
::
Backend
Source
#