In Durham to tell a story about programming languages. I brought my theorem prover: http://yfrog.com/nuesfqnj
3:33 AM - 14 Mar 2012
3 replies
3 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.