UNTYPED-LAMBDA-CALCULUS : FLAG

UNTYPED-LAMBDA-CALCULUS is a flag or parameter.
Takes values T or NIL. To set it to T if you want to use the editor to deal with
untyped lambda-calculus.
UNTYPED-LAMBDA-CALCULUS takes values of type BOOLEAN.
It belongs to subjects EDITOR .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage