@puffnfresh @tpolecat @jedws @nuttycom You can argue about whether or not that’s a good thing (it’s not, imo), but it is a thing.
-
@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 You should be interested. I’m becoming quite convinced that ALL of the laws are broken.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom Here’s the nutshell: you don’t have functions without equality, but that equality is not EqThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom We talk about most laws in terms of Eq (and data structures use it). -
@djspiewak@jedws@puffnfresh@tpolecat@nuttycom We do? Who is this we? - Show replies
New conversation -
-
-
@dibblego@jedws@puffnfresh@tpolecat@nuttycom You can always break things by deriving an over-broad Eq and involving functions.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.