Safe Haskell	Safe

S07

Contents

Exercises 3 and 4
Exercises 5 and 6

Synopsis

Exercises 3 and 4

See ../pdfs/07.pdf.

Exercises 5 and 6

See ../thys/S07.thy.