A really slow yet tiring sort of day. The math gods just aren't smiling on me today, I guess. It happens.

I think we got this author response thing for our ICFP paper all tidied up though, so that's good.