I've been putting some effort into making the startup cost of Idris cheap. This is weirdly pleasing.pic.twitter.com/VDBXB5Eedx
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
interesting, thanks!
Yes, `time` is somewhat magical, it’s more like a shell language keyword than a builtin command
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.