Another day another industry person giving a talk on Idris @edwinbradypic.twitter.com/OxLD36nNSq
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
@lambd_ale! Showing off dependent GADTs and DSL notation!
Ah yes of course. I think I'd have gone to that if I hadn't been on holiday.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.