Normal-order reduction
ID: normal-order-reduction
A reduction strategy that contracts the leftmost outermost reducible expression first. If a lambda calculus expression has a beta-normal form, this strategy reaches it, although the intermediate expressions can be large.
New to topics? Read the docs here!