Agda.Compiler.UHC.FromAgda
opts
fromAgdaModule
translateDefn
runTT
data TTEnv
type TT
addToEnv
data BuiltinKit
builtinKit
compileTerm
buildPrimCases
mkIfThenElse
compileConAlt
makeConAlt
defaultBranches
litToCore
getCTagArity
coreError
compilePrim
createMainModule