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
Hi! I'm used to ctrl+d quitting the repl and ctrl+c just abandoning the current line and open a new empty line.
This is e.g. the case for the ghci, julia and the python3 repl.
I wonder why it was chosen to make ctrl+c and ctrl+d quit the repl in koka and how I could get to a new line if I want to abandon the current expression.
The text was updated successfully, but these errors were encountered:
Hi! I'm used to
ctrl+d
quitting the repl andctrl+c
just abandoning the current line and open a new empty line.This is e.g. the case for the
ghci
,julia
and thepython3
repl.I wonder why it was chosen to make
ctrl+c
andctrl+d
quit the repl in koka and how I could get to a new line if I want to abandon the current expression.The text was updated successfully, but these errors were encountered: