Got something like a semi-complete draft of the LICS revision done. Due tomorrow at 7pm. Ugh have I noted before that I am not so great at forcing myself to work on things that aren't super exciting sexy new research oh yes maybe possibly. But it is going okay nonetheless. I think it's a more robust paper than before, and we managed to squeeze in more actual guts of the translation and some examples.
Really I am just feeling weird and antsy because I've hardly gotten out of my apartment all day. Just the once to get lunch.