I must say that you have done a great job with code contracts.
But unfortunately, I am having some problems with this Xml Documentation from Code Contracts. I have taken the same steps as Daryl on this video, but I am not able to get the contract tags into the xml documentation file. I am using 1.2.21023.14 version
and tried it with both VS2008 and VS2010 Beta 2. There are no errors but simply contracts are not shown.