More project work. And I'm starting to use LaTeX a little more to my advantage. I wrote my first theorem today. And some lemmas. Whee!

Working some more on the compiler. What fun. Actually it's nice to touch code again.

Need to think hard about where to go from here.

Fun-filled weekend of work ahead of me. Hopefully I'll get a large chunk of non-project-work out of the way. I have to, I'm going to be at Liz's next weekend.

My father comes back from New Zealand on Sunday, I think. I'm not envious in the slightest, honest.