Got a little work done on my LinLog project. General recursive types are a little annoying syntactically.
Went to dinner at Mark Stehlik's. People I knew there were Martin, Drew Hoskins, Frances Ning (to whom a year or three ago I tried to sell a Linear Algebra book I had already sold, I think :) Evan Chang and Ana Ramirez. The food was quite good (turkey, potatoes, rice with peas and bacon (!), glazed carrots, rolls) and the conversation was pretty amusing. In particular we swapped lots of Rudich and Kesden stories.