Agda-2.5.1.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.Compiler.UHC.Primitives

Description

Defines some primitive functions.

Synopsis

Documentation

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.