TYPES archives now available

With some help from David Jones at MIT, I have constructed what I
believe is a comprehensive archive of postings to the TYPES forum.  It
is available through


(for the current year, use


) and should be updated automatically from now on.

        Benjamin Pierce
        Types forum moderator