    {-|
      Built-in backends.
    -}

    module Agda.Compiler.Builtin where

    import Agda.Compiler.Backend (Backend)

    import Agda.Compiler.MAlonzo.Compiler (ghcBackend)
    import Agda.Compiler.JS.Compiler (jsBackend)
    import Agda.Interaction.Highlighting.Dot (dotBackend)
    import Agda.Interaction.Highlighting.HTML (htmlBackend)
    import Agda.Interaction.Highlighting.LaTeX (latexBackend)

    builtinBackends :: [Backend]
    builtinBackends :: [Backend]
    builtinBackends =
      [ Backend
    ghcBackend
      , Backend
    jsBackend
      , Backend
    dotBackend
      , Backend
    htmlBackend
      , Backend
    latexBackend
      ]