The Lambda Normal Order and Applicative Order Reductions in Parallel Widget

Select a redex (i.e. a lambda expression that can be reduced). Press the button.

If you can see this, your browser does not understand IFRAME.