These are chat archives for
Sign in to start talking
Source code for the CodeContracts tools for .NET
Feb 14 2016 01:12 UTC
This message was deleted
Feb 14 2016 01:18 UTC
Did you read Joe Duffy's article about error model in Midori?
There is a lot about Microsoft's approach to contracts. With a few words on why Code Contracts were dropped for this system.