[msully4321]

What colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.

[torartc]

That's interesting, I've always though ctrl-c would close things. I tried so many things like "quit" "exit" ctrl-c "help"

[emj]

Ctrl-c cancels running processes, but not shells. When a process becomes a shell I can not say, but if make an infinite loop in the Python repl you can Ctrl-C that loop.

  $ python
  >>> while True:
  ...   pass
  ... 
  ^CTraceback (most recent call last):
    File "<stdin>", line 1, in <module>
  KeyboardInterrupt

[sizediterable]

Congrats Sully and thanks for your work on mypy!