Yes, I know my language does some things wrong, or some things weirdly. But I made it, so I'm the one who gets to make those choices.
@techtangents There is at least a start on that in the FAQ. http://idris-lang.org/documentation/faq …
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
@techtangents There is at least a start on that in the FAQ. http://idris-lang.org/documentation/faq …