I don't see why that would break referential transparency. You still get the same result for the same inputs. Changing implementation will break associated proofs, but that's a different matter, and I would hope that it would happen!
-
This Tweet is unavailable.
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.