Language.Executor
type FullyEvaluated
type Env
validatePreExec
exec
eval
evalMap
apply
apply'
applyNonPrim
assertMap
extendEnvironment
checkAgainstRepeatedDefs
initialEnvironment