This is the first of five lectures on reasoning about programs, the central topic of the second half of the course. It starts by reviewing the idea of equational reasoning, and then shows how it can be applied in the context of Haskell programs.
Course playlist: tinyurl.com/has...
Негізгі бет AFP 11 - Reasoning About Programs
Пікірлер: 2