[TYPES] New moderator: Derek Dreyer

[Stephanie Weirich]

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-list at lists.seas.upenn.edu
and announcements to
    types-announce at lists.seas.upenn.edu
Derek is eagerly awaiting your submissions.

Cheers,

Stephanie Weirich

Former TYPES forum moderator