LNORM-BETA : EDOP

LNORM-BETA is an editor command.
Put a wff into beta-normal form, not using eta
conversion. Compare LNORM and LNORM-ETA.
 
The command format for LNORM-BETA is:

<Ed>LNORM-BETA <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


LNORM-BETA : WFFOP

LNORM-BETA is a wff operation.
Put a wff into beta-normal form, not using eta
conversion. Compare LNORM and LNORM-ETA.
 
The calling scheme for LNORM-BETA is:

(LNORM-BETA <<GWFF>>)
<<GWFF>>


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage