Aha! I'm on the case :)pic.twitter.com/c3gX7Q8hJ8
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
@kmett Wow. Is the code available? Just wondering how to make it that big :). @copumpkin
@edwinbrady @kmett most of the effort was productivity, so probably easier in Idris. Also, never compiled it! :) https://gist.github.com/copumpkin/3889687 …
@edwinbrady @kmett the memory size was due to me running it in the interactive mode normalizer, and the proofs got large quickly!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.