Re: types of "graphs"

On 9 May 2012, at 22:29, Guus Schreiber wrote:
>> Why do *we* need to define the term for a frozen g-box? Why not leave it to the community?
> 
> Sloppy phrasing on my part. I meant to say: this line of reasoning implies there is a need for at most one type.

Ok.

> With my chair hat on I prefer not to take a position whether we should predefine it or not. I only note that such the "frozen-box" type  arose from our use cases.

Right. If third parties can define the term without violating something in our spec text (i.e., a “frozen” g-box doesn't contradict something in our semantics), then I'd argue we should leave it to them.

Best,
Richard

Received on Wednesday, 9 May 2012 22:30:41 UTC