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 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
@archaeron Do I need to set up paths anywhere, or does it just look in the same directory as the current source file?
@edwinbrady it looks in the top levelndirectory of your priject. I need to write some documentation for it. Will do today.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.