.I don't know where to begin with the OH, but I like the picture... @darachennis @jessitron @gregyoungpic.twitter.com/SaKyOklGfh
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
@edwinbrady @jessitron @gregyoung It's the shocking true vision of dependant types!