Still reasonably confident that Idris 2 is going to be quite a bit faster than Idris 1...pic.twitter.com/XDb4NVUTv3
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
Wrong. STG is strict, it supports closures to model laziness. Haskell is lazy, that's right! :D
In that case if someone wants to give it a go, it'd be interesting to find out what happens.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.