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
Separate compilation as in compiling separate e.g. DLLs and linking them together? If so, what property of QTT makes that possible compared to the previous version, and what were the limitations before?
Erasure checking/inference used to be by a whole program analysis, so we wouldn't know which parts of functions could be erased. Now we can just look at the type.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.