@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. - Show replies
New conversation -
-
-
@dibblego@etorreborre have you got a link for the original context? Tried to find it recently with no luck... -
@jedws@dibblego in this thread: http://bit.ly/MpOuol . But I was suprised to find the addition of a type in Tony's branch topic/either - Show replies
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.