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
What about GHC runtime?
It's lazy, and Idris isn't.
Interesting! Playing with OCaml at the moment (as itself). (And ReasonML actually.) Can I try to be useful (or pre-useful) and keep anything in mind or poke at anything in particular there?
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.