Agda-2.5.2: A dependently typed functional programming language and proof assistant
Agda.Compiler.UHC.Primitives
Description
Defines some primitive functions.
Synopsis
primFunNm :: String -> HsName Source #
primFunctions :: Map String (CompileT TCM CExpr) Source #
Primitives defined for the UHC backend. Maps primitive names to the core expression to be used as function body.