On Windows, Hugs treats stdin specially, reading from the console in char-at-a-time, no-echo mode, with explicit echoing in getChar. On other platforms it (at least the CVS version) treats stdin like any other stream, so one can do line editing and interrupts, and I find that more convenient. Is there any reason not to do the same on Windows?