[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Excellent -- thanks very much, Derek, for stepping up!
We also owe a huge round of thanks to Stephanie for her excellent
management of the list for six years!!!
- Benjamin
[ 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
