Function fungi_lang::eval::eval

pub fn eval(env: EnvRec, e: Exp) -> ExpTerm

Big-step evaluation

Under the given closing environment, evaluate the given Tgt-AST expression, producing a terminal expression (a la CBPV), typically with run-time values.