Everyone is tweeting about #strangeloop, making it sound really awesome; I wish I had gone!
@ireneista It is fun! If you happen to be near Boston in the next few days there's some Idris hacking to be done though...
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
@ireneista It is fun! If you happen to be near Boston in the next few days there's some Idris hacking to be done though...