# Types and expressions

A coq script extracted from the chapter 2 of the book
## Exercises

- Exercise 2.5, page 30 and 2.6, page 32 Simple expressions
- Exercise 2.7, page 36 Polynomials

## Errata

- Page 24: section 2.2.3.1:

In the sentence "In the second example, the function `Zplus` expects an integer..." the word `Zplus` should be replaced by `Zmult`.
- Page 42:

The two occurrences of `Z_fun_to_nat_fun` must be replaced by
`nat_fun_to_Z_fun`

Going home

Pierre Castéran