[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear all, It has been my great pleasure to act as the moderator of the TYPES forum and the TYPES/announce mailing list over the past 3.5 years but I feel it is now a good time for a successor. Going forward, I am very happy to announce that Gabriel Scherer (from INRIA) has kindly agreed to take up the job and serve as the next moderator - I am sure he will do a great job! Kind regards, Dimitrios Vytiniotis
