[POPLmark] Meta-meta-comment

[Karl Crary]

Dear All,

I have noticed that a substantial number of the posts on this list are 
mine.  Therefore, in an effort to steer the list's bandwidth to more 
fruitful areas of conversation, I have decided that I will no longer be 
participating in topics of the form "you cannot/should not use Twelf for 
X."  I think this is well-trod territory at this point, and I am taking 
up too much bandwidth (and too much of my time) on such matters.  At CMU 
we are using Twelf  in nearly all of our PL work, but if you don't want 
to use it, no one says you have to.

I am more than happy to respond to queries of the form "how would you 
suggest I do X in Twelf?" from people who are considering trying it.

    -- Karl