Set your alarms tomorrow, everyone! PL Seminar, Jr. Thurs, Feb 3, 9:30 - 11:30 PoPA, sections 2.5 and 2.6 Next week: Dale on TWELF and Higher-order abstract syntax. Richard