readline

Help Contents io readline
wordtolist readfile

io.readline


reads a line - i.e. a sequence of characters up to (but excluding) carriage return and converts it to a list.

Definition:

to io.readline
	output wordtolist readword
end

wordtolist readfile