12
nikmanG
7y

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

Comments
Add Comment