Even better: Use comments to "prove" your code: // x == 0 && (y == 0 || y == x +...

		deterministic 6 months ago \| parent \| context \| favorite \| on: To be a better programmer, write little proofs in ... Even better: Use comments to "prove" your code: // x == 0 && (y == 0 \|\| y == x + 1) && a[x + y] != 0 ... code here ... // x == 0 && (y == x + 1) && ...