Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

behaviour of ctrl+c in the repl #553

Open
MangoIV opened this issue Jun 14, 2024 · 0 comments
Open

behaviour of ctrl+c in the repl #553

MangoIV opened this issue Jun 14, 2024 · 0 comments

Comments

@MangoIV
Copy link

MangoIV commented Jun 14, 2024

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants