[TYPES/announce] new moderator: Gabriel Scherer

Mon Oct 30 07:02:42 EDT 2017

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20171030/c33c82fe/attachment-0001.html>