Applying
mont_rect
Consider the type defined in
this file
. Define a predicate
is_January
which maps
January
to
True>
, and any other month to
False
. Give your solution as an application of
mont_rect
.
Solution
This file
Going home
Pierre Castéran