I'm attempting to bolt my new Idris core onto the Blodwen front end. If you've ever implemented a dependently typed language, you'll know this is a sign of excellent progress!pic.twitter.com/WXycPnAOgM
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
knowing is half the battle, the other half is adding natural numbers
I just find it amusing how quickly you get from adding natural numbers to, say, compiling a Prelude. But I'm not saying that out loud just yet in case it all falls apart.
that actually made me laugh out loud in the subway, so thank you for both that and having brought some laughs in the Métro Parisien, clearly not accustomed to that :)
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.