Code Contracts: Structured specifications colocated with code

	▲	Code Contracts: Structured specifications colocated with code(code-contracts.cc)
		4 points by spolu 2 days ago