This morning, ran into kaustuv and got lunch, and talked about a bunch of random PL weenie things. All linear-logic-related, though. Since sliced bread, I tells ya.
Got a little work done on that crazy research thing I do from time to time. That thing that they pay me for. Yeah. Good stuff.
Got the mix CD from catamorphism! Haven't found the time yet to listen to all of it, but already I like the first couple tracks.
Read more of the Cours. Finding myself disagreeing with ol' Ferdy on every other page. Some of it such flimsily-argued nonsense.
Watched the end of "billy elliot". Okay movie. Awfully cheesy, but it didn't bother me too much.