LNORM-ETA : EDOP

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

<Ed>LNORM-ETA <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


LNORM-ETA : WFFOP

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

(LNORM-ETA <<GWFF>>)
<<GWFF>>


The result is of type GWFF.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage