Ian Bicking: the old part of his blog

Comment

So moving the goal posts: "What about only odd numbers?"

See todays LtU posting. Although you should probably dig into dependent types for a more satisfactory answer. It's all a mystery to me ;-)
Comment on Static Code Analysis
by Isaac Gouy