Any Atom experts know how I can make the message window here have a bigger font? I've tried and given up… #lazywebpic.twitter.com/om3wU39otr
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
@archaeron yes, it listed just options and modules. Does it need anything else?
@edwinbrady no, that should be enough. But it crashes when trying to find/parse the file. I'm trying to get it to break for me too :D
@archaeron Code is in http://www.idris-lang.org/kats/part2.tgz in the Effects/ directory. Now it doesn't crash, but also can't find the Effect import
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.