LARA

Lecturecise 10: Weakest Preconditions. Algebraic Data Types

Slides (PDF): original, annotated