module Agda.Compiler.Builtin where

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

builtinBackends :: [Backend]