Just reminding myself of Idris 1's partial evaluation rules. If I fix something after five and a half years, that's still technically "temporary" right?pic.twitter.com/Ig9NSvLUWf
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
Futamura Fourth Projection, here we go
@Franck_FS
https://dl.acm.org/doi/10.1145/1480945.1480954 …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.