As of now, Ctrl+D works correctly, but Ctrl+C stops the entire REPL. Considering the use case -- stopping the divergent computation -- it would be more comfortable to do the same thing as ghci: stop only the current computation without stopping the REPL.