[TYPES] stricter moderation...?

[Eijiro Sumii]

Dear all,

I am afraid this might be a somewhat controversial suggestion, but may
I propose the TYPES list be moderated a little more strictly?  I am
seeing more and more messages that are not _directly_ and _explicitly_
related to types (or logics).  They are "too many" to just ignore (and
yet the list is too useful to quit:-).  Of course, this means more
work for Stephanie and I am not sure if others agree - so everything
depends on how people think.  Any ideas...?

Best regards,

--
Eijiro Sumii (http://www.kb.ecei.tohoku.ac.jp/~sumii/)
Graduate School of Information Sciences, Tohoku University