I'm heading for a Rust meetup. Maybe should have picked a different t-shirt.pic.twitter.com/esskEAm95h
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
Sorry, bit of a goofy joke. Seen the Unique and Borrowed types - super cool stuff!
Big fan of Idris! Bought your book too!
Also quite fond of TT - very nice way of formulating dependent types! 
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.