Types and expressions

A coq script extracted from the chapter 2 of the book

Exercises

  1. Exercise 2.5, page 30 and 2.6, page 32 Simple expressions
  2. Exercise 2.7, page 36 Polynomials

Errata

  1. 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


    Going home
    Pierre Castéran