Compiler.hs-boot

module Agda.Compiler.MAlonzo.Compiler where

import qualified Language.Haskell.Exts.Syntax as HS

import Agda.Syntax.Treeless (TTerm)
import Agda.TypeChecking.Monad (TCM)

closedTerm :: TTerm -> TCM HS.Exp