Revision 7360ada07430b1b1dc023edabb67915b445d0a2d authored by Joshua J. Cogliati on 27 September 2019, 15:10:12 UTC, committed by Joshua J. Cogliati on 10 October 2019, 02:46:54 UTC
1 parent 0e21c1d
readchars
READCHARS num
RCS num
reads "num" characters from the read stream and outputs those
characters as a word. If the read stream is a file, and the end of
file is reached, READCHARS outputs the empty list (not the empty
word). If the read stream is a terminal, echoing is turned off
when READCHARS is invoked, and remains off until READLIST or READWORD
is invoked or a Logo prompt is printed. Backslash, vertical bar,
and tilde characters have no special meaning in this context.
Computing file changes ...
