Re: AWWSW Telecon Tuesday 2011-08-30 ?

On Wed, Sep 28, 2011 at 1:26 PM, Henry S. Thompson <ht@inf.ed.ac.uk> wrote:
> So here's one thing I like about your approach:  it makes the Best
> Practice from 3986 and AWWW regarding conneg into something
> approaching a theorem -- if you serve two alternative specialisations
> of the same generic InfEnt via conneg, and they have nothing in
> common, then you are telling people _nothing_ about the generic
> InfEnt, which violates the Social Contract.

Yes, this was my intent.

Jonathan

Received on Wednesday, 28 September 2011 17:35:53 UTC