Comment by lavelle

I think I'll keep Ctrl+D for quitting the whole program, Ctrl+C for just finishing the REPL and going to the save/discard prompt.