Went to union grill for lunch. Came back to the house to let in the landlady and a potential buyer of the property. Went to campus to hack at the compilers assignment with kaustuv. Got some dinner at sorrento's. Read "A Concurrent Logical Framework: the Propositional Fragment".