The PhD memoir “The C standard formalized in Coq” (Robbert Krebbers) arrived by post todaypic.twitter.com/88gEyZR01u
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@BRIAN_____ @spun_off @ch3root Even if this weren't a requirement, the ABI already defines the impl-defined conversion here.
@BRIAN_____ @spun_off @ch3root + Footnote 67 says "intended to be consistent with the addressing structure of the execution environment."
@RichFelker @spun_off @ch3root That's actually standards speak arguing against your point. "Let's add a meaningless footnote and move on."
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.