{-# OPTIONS_GHC -Wunused-imports #-}

-- | Backend for generating highlighted, hyperlinked HTML from Agda sources.

module Mikan.Interaction.Highlighting.HTML
  ( htmlBackend
  ) where

import Mikan.Interaction.Highlighting.HTML.Backend as Exports
  ( htmlBackend
  )