How to construct derivations

Any line containing a syntax error automatically has # prefixed to it. Correct the error in the text field, then delete # and press Return.

The Add button adds a new line to the end of the derivation or subderivation. The Insert buttons add a new line or subderivation before the currently selected line.

[ Previous ]   [ Next ]