[cap-talk] Retroactive Corroboration for the EQ-less Horton Protocol
toby.murray at comlab.ox.ac.uk
Thu Feb 21 16:23:29 EST 2008
On Thu, 2008-02-21 at 10:48 -0800, Jim Larson wrote:
> On Thu, Feb 21, 2008 at 2:11 AM, Toby Murray
> <toby.murray at comlab.ox.ac.uk> wrote:
> As soon as you introduce a hashtable, you've effectively
> introduced EQ.
> (Assuming the hashtable maps capabilities that would normally
> considered EQ to the same value).
> The hashtable keys are integer tags, not capabilities, so the
> doesn't require EQ.
Sorry mate. I should have read closer. My bad.
Will go back and read the thing now -- although commented E code might
be a more compact description, if you've got it.
Sorry for jumping the gun there.
More information about the cap-talk