Hacker News new | ask | show | jobs
by User23 2689 days ago
Contextualizing this with Hoare's work on pre and post conditions helped me to understand this chapter. Predication is fundamental to advanced computer science.