I customised the colour scheme for #idris-mode but I love the docs part now!pic.twitter.com/zC151dp0bf
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
@yfyf @edwinbrady as @d_christiansen said, everything is implemented in the compiler. Emacs is just a nice parser for it all.
@edwinbrady @jfdm This stuff could just as well get implemented for vim - the compiler is what's doing the smart parts.
@d_christiansen @jfdm Yes, I just know I'm not going to do it myself...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.