Run goal with the user input and output streams set in raw mode,
which implies the terminal makes the input available immediately instead
of line-by-line and input that is read is not echoed. As a consequence,
line editing does not work. See also get_single_char/1.
Tags are associated to your profile if you are logged in