Hmm, there ought to be some #Idris talks at @curry_on_conf.. cough cough @edwinbrady and @d_christiansen cough
@heathercmiller I agree! But I'm already at another event that week, unfortunately… @curry_on_conf @d_christiansen
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
@heathercmiller I agree! But I'm already at another event that week, unfortunately… @curry_on_conf @d_christiansen