Next:
Negation
Up:
Basic Operations
Previous:
Basic Operations
Auxiliary operations
Negation
Multiplication of a stream by a digit
Addition or subtraction of one from stream
The `p' function
Martin Escardo
5/11/2000