> On 21 Jan 2025, at 18:55, Cay Horstmann <[email protected]> wrote:
> 
> +1
> 
> But what is IO.read?

A typo! Thanks Cay - resent with correction.

Many Thanks,
Gavin

Reply via email to