@bvenners Yes and \/ is quite well established to denote logical disjunction.
@mpilquist @bvenners They aren't completely ineffective. Just in the capacity that is often alleged, as in this case.
-
-
@mpilquist@dibblego You can have good types *and* good names. - Show replies
New conversation -
-
@dibblego@mpilquist I agree with you on the benefits of reasoning about the types, but the baby needn't be thrown out with the bathwater. -
@bvenners@mpilquist There is no baby. I'm quite happy to let illusions entertain, except when they get in the way of practical application.
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.