Types and expressions
A coq script extracted from the chapter 2 of the book
- Exercise 2.5, page 30 and 2.6, page 32 Simple expressions
- Exercise 2.7, page 36 Polynomials
- Page 24: section 22.214.171.124:
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