@dibblego that line is not clear to me: Either <=> sum, Pair <=> product. How can Either be a "glorified tuple"? http://bit.ly/P1sjdR
-
@dibblego@etorreborre It's no joke. Either A B is just the dependent pair (s:bool, if s then B else A).
@mbrcknl @etorreborre The context from which it was derived is certainly a joke.
-
-
@dibblego@etorreborre I can appreciate that, even though I'm not familiar with the original context. :-) -
@mbrcknl@etorreborre there are jokers and the are inadvertent clowns.
End of conversation
New conversation -
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.