Tinkering with a Thing. After about 500 lines of code, I’ve achieved 0 + 0 = 0. Hooray for science.pic.twitter.com/uGf6WcLJfx
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
Even if it doesn't go public, I wouldn't mind seeing it in an email :-)
I will send you things soon, one way or another :)
Isn't that the principal shtick behind Beluga? Contextual type theory is cool. Very useful for metaprogramming. (1/2)
Yes, I think so. This is mainly an exercise in seeing how painful it is in Idris, to which the answer seems to be "not very".
This I want to see 
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.