Location: Strathclyde Uni. Crew: C. McBride, P. Morris, J. Chapman and we welcomed the arrival of one E. Brady
Dinner: we chopped, Mel cooked
Achievements: JC made a universe for propositions and PM one for finite enumerations; along the way they put together a setup for built-in operators. EB started to make his compiler do things in a more Pig-like way and CM built something that might load definitions into the system.
Tomorrow: The world.