@jonsterling Pretty sure it's to do with https://github.com/idris-lang/Idris-dev/issues/1080 … - will look deeper when I get the chance.
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
@jonsterling Pretty sure it's to do with https://github.com/idris-lang/Idris-dev/issues/1080 … - will look deeper when I get the chance.