In Spire we're thinking of downgrading Eq[A] from equality to just an equivalence relation. What do you think? Good? Bad? Ugly?
-
-
Replying to @mcclure111
@mcclure111 So that was my intuition too.@tixxit sorta talked me out of it by explaining that the distinction is often lost on folks.3 replies 0 retweets 0 likes -
Replying to @d6
@mcclure111@tixxit But maybe you are re-talking me back into it.1 reply 0 retweets 0 likes -
Replying to @d6
@d6@mcclure111 I think that equivalence relations are more useful to me in most cases, but equality is critical in some2 replies 0 retweets 0 likes
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.