Definition by cases

Write a function of type nat->bool which returns true iff its argument is less than three.

Solution

Note

We wrote this function as a multiple case analysis. It is easy to see (by printing its definition) that this is an abbreviation of a nested case analysis.

Going home

Pierre Castéran