12
nikmanG
8y

We should get rid of loop invariants. They are cumbersome and counter-intuitive (hopefully someone gets the inside joke).

Comments
Add Comment