[cap-talk] Retroactive Corroboration for the EQ-less Horton Protocol
Jonathan S. Shapiro
shap at eros-os.com
Thu Feb 21 16:37:48 EST 2008
> > 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
> > be
> > considered EQ to the same value).
So what you are saying is: "if the hashtable uses EQ, then it implements
EQ". But it is not a foregone conclusion that the hashtable
implementation should use EQ.
More information about the cap-talk