JL.Interpreter
Description
eval :: Core -> Core Source #
Eval core.
subst :: Variable -> Core -> Core -> Core Source #
Substitute name in function body.
desugar :: Expression -> Core Source #
Remove syntactic sugar and convert into executable form.