Ian Bicking: the old part of his blog

Comment

oh, btw haskell's type system is turing complete, people say :)
Comment on Static Code Analysis
by verbat