Donkey provides several methods for evaluating expressions: simple evaluation, stepping one reduction rule (Section 6.4) at a time, and more advanced stepping techniques.
