Free dep type research tip. At link time, replace one function by another if they're extensionally equal. Nobody will notice. Prove this.
-
-
@edwinbrady Yeah, but you don't flog that functionality to the punters for general prove-this-and-you're-fine-ness. -
@pigworker Not yet. I want to though, when I get a round tuit. - 3 more 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.