“I don’t need to run my code because it already typechecks.”

This last lecture is meant to be a self-study exercise and will therefore have no video lectures (yes, we are evil people!).

The material consists of the 13th chapter of the course book. You can find an online version of it at the link below:

Reasoning about Programs, Chapter 13 – Programming in Haskell