wjl about refinement types, various people at the TG, mostly mdinitz at Jake Donham's going-away-to-work-for-a-cellphone-startnowpicnic's going-away-to-work-for-CERN going-away party.I have discovered that goob has a copy of the Codex Serafinianus and other insanely awesome books and is all too eager to have people over to his house to look at insanely awesome books and perhaps eat food or something. I need to take him up on this offer.
