I keep telling a colleague "This would be much easier in a language with dependent types". One day he'll believe me. Or hit me. #stuckrecord
7:31 AM - 5 Mar 2012
2 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.