The REPL as it stands submits the query on enter, just like sending a text message. But I have written it in a way where each keystroke is sent. The counter()

The REPL as it stands submits the query on enter, just like sending a text message. But I have written it in a way where each keystroke is sent. The counter() function you're referring to was implemented in GridEve, which was an experiment on the UI. It was written in C# and used a different (and abandoned) backend. It was a local-only app, so the timer ran on the local machine. Time in the client/server architecture is something we have to give a little more thought to, since we're still trying to get things working in a timeless world.