{-# OPTIONS_GHC -Wunused-imports #-}

-- | Generating highlighted and aligned LaTeX from literate Agda source.

module Mikan.Interaction.Highlighting.LaTeX
  ( module Exports
  ) where

import Mikan.Interaction.Highlighting.LaTeX.Backend as Exports
  ( latexBackend
  , latexBackendName
  )