Agda-2.6.4.1: src/full/Agda/Interaction/Highlighting/Dot.hs

{-# OPTIONS_GHC -Wunused-imports #-}

module Agda.Interaction.Highlighting.Dot
  ( dotBackend
  ) where

import Agda.Interaction.Highlighting.Dot.Backend ( dotBackend )