libcspm-0.2.0: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Evaluator.BuiltInFunctions
injectBuiltInFunctions :: EvaluationMonad a -> EvaluationMonad aSource
builtInName :: String -> NameSource