BONUS! Old Proofs, New Topics

Recap Accumulator Reasoning

Abstract datatypes

What is an ADT?

Reasoning w/ and about.

Parameterized functions by such DTs

Initial Algebra

Final Algebra