Anyone more impartial than me want to have a go at answering? Otherwise I will :) http://stackoverflow.com/questions/9472488/differences-between-agda-and-idris …
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
Anyone more impartial than me want to have a go at answering? Otherwise I will :) http://stackoverflow.com/questions/9472488/differences-between-agda-and-idris …