Agda-2.5.1: 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.