simplifications
simplifications
big-step and small-step evaluators
major: folding everywhere
Representation of expression via stacks #2