Hacker News new | ask | show | jobs
by cosmez 2689 days ago
right, actually one of the topics were i stopped on my first readings.

https://mitpress.mit.edu/sites/default/files/sicp/full-text/...
1 comments
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.
link