Up | Next | Prev | PrevTail | Tail |
An important class of commands in REDUCE define substitutions for variables and expressions to be made during the evaluation of expressions. Such substitutions use the prefix operator sub, various forms of the command let, and rule sets.
Up | Next | Prev | PrevTail | Front |