QuickCheck vs WinHugs

[Neil Mitchell]

> - if the user types BackSpace, the character to the left of the cursor
>   is erased and the cursor moves left (unless there are no pending
>   user-typed characters).
When the user is typing, the windows rich text control is in charge -
so this happens automatically.

> - if the program outputs '\b' to the console, the cursor is moved one
>   position to the left, with no erasure.
>
> Is that feasible?
I guess so, I'll give it a shot now.