13
nikmanG
6y

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

Comments
Add Comment