Classical reduction

One can perform a reduction step using either the leftmost-outermost strategy or parallel-outermost strategy. The ``Reduction to normal form'' command applies the parallel-outermost strategy until a normal form is reached Use the Stop button (or command) to stop a looping computation.