Ctrl-C currently kills the repl, which is very annoying. It should abort the current computation as quickly as possible.