These are chat archives for Microsoft/CodeContracts

15th
Jul 2015
Sam Harwell
@sharwell
Jul 15 2015 22:01
@SergeyTeplyakov I changed my mind on the comment in #144. I didn't realize it would be so long until I typed it out.
However, I do prefer "requires/ensures" to "pres/posts"