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.
Comments
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.
Corey, I have sent question to you, could you check your e-mail?