My first attempt at demonstrating progress on Idris 2. What could possibly go wrong?https://twitter.com/CodeMeshIO/status/1069199618427236352 …
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
No prob. Hope to get a chance to see a subsequent version - next WG meeting in Boston?
I hope so. Actually I might have to or it'll be 3 in a row I've missed!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.