LNORM : EDOP

LNORM is an editor command.
Put a wff into lambda-normal form, using beta or beta-eta conversion
according to the value of flag LAMBDA-CONV. Compare LNORM-BETA and LNORM-ETA.
 
The command format for LNORM is:

<Ed>LNORM <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


LNORM : WFFOP

LNORM is a wff operation.
Put a wff into lambda-normal form, using beta or beta-eta conversion
according to the value of flag LAMBDA-CONV. Compare LNORM-BETA and LNORM-ETA.
 
The calling scheme for LNORM is:

(LNORM <<GWFF>>)
<<GWFF>>


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage