From: Zooko <zooko@zooko.com>
Date: Wed, 27 Nov 2002 21:04:46 -0500
Subject: Re: [e-lang] capability myths demolished!

Damn.  There's always *one* little typo which I feel the need to fix by 
following-up to my own post. 

I, Zooko, wrote:
>
> that they actually meant "The fact that the `Remove' action in [our cap model] 
> has no real counterpart in [our ACL model]...".  This is a change which reverses 
> the sense of the sentence to match the format result that they give: that their 
                                            ^-- "formal" 
> ACL model is weakly contained in their cap model, but not vice versa, which 
> means that their cap model can do everything that their ACL model can do, but 
> not vice versa.

Regards, 

Zooko 

_______________________________________________
e-lang mailing list
e-lang@mail.eros-os.org
http://www.eros-os.org/mailman/listinfo/e-lang