module Agda.Main where

import {-# SOURCE #-} Agda.Compiler.Backend

builtinBackends :: [Backend]