simrob and Bernardo about trying to check some of this Session Types stuff Frank and Luis were working on in my HLF implementation. I forgot how duct-taped together it was.Had a bit of an adventure trying to pick
aleffert from the airport. wjl was driving; we succeeded at getting to the airport, but the car started overheating on the way back, and the engine failed to start again at first after he stopped at a gas station to let it cool off. Not exactly sure what the ultimate problem was, since after waiting around longer, diddling with the fuse box, and putting a little water on the radiator, the car started fine and we made our way to Harris for bacon night.