Perhaps one day I will make Idris' theorem prover capable of doing things Boyer-Moore could do before I was born...
3:35 AM - 15 Nov 2010
0 replies
1 retweet
0 likes
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.