At the next stage of DT language implementation, after achieving 2+2=4…pic.twitter.com/fna0FpksE4
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
Idris about to be self hosting?
I am making no promises :). But wherever this ends up, I hope it will fix some of the mistakes in the design/implementation of Idris…
Oh implementing in Idris?
Yes. For example, I'm doing all the local variable name mangling in the type system, so that but ought to work properly at least.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.