todo

task before deadline:

functionality:

• test and make sure that it works with the latest firefox and chrome
• refine some Display instances to have a few interesting result types and to prevent loops (don't print infinite strings or lists)
• probably fix some shared editor bugs

deployment:

later:

improvements for shared editor protocol:

1. record deletion time (instead of removed :: Bool) in atoms, make sessions replayable
2. find a way to let clients remove old deleted atoms. If clients never send insertafter messages for deleted atoms, and the server tracks for all clients which deletion messages they have processed (clients can send confirmation?), it can instruct clients to discard older deleted atoms.

• every client sends its own timestamp in each message to server, and the deletion time of its most recently deleted atom
• now the server keeps track of x = min(min(timestamp of clients),min(most recently deleted atom))
• instruct clients to discards deleted atoms deleted earlier than x

(does this work? proof?)

• client should load output area from the server on connect
• find some way to locate /cache/ no matter where the executable is started
• load Helper.hs correctly even if the binary can't find /cache/
• realtime status of compilation, as the buffer is changed, does the buffer compile? on a five second idle timer?