You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm thinking about the times I've accidentally started vim, couldn't figure out how to quit the program, and then had to open another terminal to kill the process.
Maybe we should add a hint to the startup message about typing :? for help.
The text was updated successfully, but these errors were encountered:
When you start
ghci
, it tells noobs how to get help:But
cryptol
doesn't give any such hints:I'm thinking about the times I've accidentally started
vim
, couldn't figure out how to quit the program, and then had to open another terminal to kill the process.Maybe we should add a hint to the startup message about typing
:?
for help.The text was updated successfully, but these errors were encountered: