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
I am actively hacking on modeling the runtime for the Idris-GRIN back end experiment, maybe I can give it a go in a not so far future. How the primitive operations of Idris2 differ from the ones in Idris1?
Not so different that I'd expect any problems. If anything, there's a lot fewer.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.