@zauspar really? ? Something you're working on?
@chrisamaphone It's in a github repo (https://github.com/edwinb/SDL-idris/tree/master/invaders …) @zauspar @cayleehogg
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
@chrisamaphone It's in a github repo (https://github.com/edwinb/SDL-idris/tree/master/invaders …) @zauspar @cayleehogg