As a brief diversion from reality... Idris 2 in Idris 2 can now calculate 4.pic.twitter.com/Pai2c4kJkO
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
I think we need a paper to prove that a language which implements an integer type is sufficent to implement pacman ;-)
I wonder if you can do it without an integer type... pacman completeness relies on being able to talk to the outside world though! Idris 2 in Idris 2 is currently self isolating.
"once you can do 2+2 you can do anything" - Alan Turing, probably
You need to arrive at least to 42
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.