search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

behaviour of `ctrl+c` in the repl #553

Open MangoIV opened 2 weeks ago

MangoIV commented 2 weeks ago

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.