Tony Morris

@djspiewak @jedws @puffnfresh @tpolecat @nuttycom It is definitely a fact and I saw that context. You are missing the sad bit.

@dibblego @jedws @puffnfresh @tpolecat @nuttycom Given that most of the context of this argument hasn’t been written down, you’re missing.

@djspiewak @jedws @puffnfresh @tpolecat @nuttycom OK, I thought you meant all the twitter context, which is difficult to follow.

@dibblego @jedws @puffnfresh @tpolecat @nuttycom Fundamental problem: user definable Eq is not necessarily the “real” Eq.

@djspiewak @jedws @puffnfresh @tpolecat @nuttycom I've no idea what you said, but I am certain it doesn't influence the boring fact.

@dibblego @jedws @puffnfresh @tpolecat @nuttycom We talk about most laws in terms of Eq (and data structures use it).

@djspiewak @dibblego @jedws @tpolecat @nuttycom no, we absolutely don't.

@puffnfresh @dibblego @jedws @tpolecat @nuttycom Then what *do* you use? Define it for me please.