Hacker News new | ask | show | jobs
by williadc 4289 days ago
In the linked article, the author points to an explanation of loop invariants. Click the link "Last Week"