@edwinbrady Is blodwen supposed to be built with Idris 1.3, or should I compile Idris from the head of the master branch?
I can't remember when I last changed a thing it needs, but I'd get the latest from master anyway. I should do a new release.
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
I can't remember when I last changed a thing it needs, but I'd get the latest from master anyway. I should do a new release.