[e-lang] capability myths demolished!

Zooko e-lang@mail.eros-os.org
Wed, 27 Nov 2002 21:04:46 -0500

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.