libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM.

Safe Haskell	None

CSPM.Evaluator.BuiltInFunctions

Documentation

injectBuiltInFunctions :: EvaluationMonad a -> EvaluationMonad aSource

builtInName :: String -> Name Source