Just uploaded a new version of idris to hackage so that the thing I'm talking about and the thing people can cabal install are the same...
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
Just uploaded a new version of idris to hackage so that the thing I'm talking about and the thing people can cabal install are the same...