[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
It is my pleasure to announce that Derek Dreyer has taken over the job as moderator of the TYPES forum. After six years of running types-list and types-announce, it is time to pass the baton. Please join me in thanking Derek for taking on this valuable service for the community. With this handover, the list addresses will not change. As always, send discussion to types-l...@lists.seas.upenn.edu and announcements to types-announce@lists.seas.upenn.edu Derek is eagerly awaiting your submissions. Cheers, Stephanie Weirich Former TYPES forum moderator