The objectives of this experiment are the following:
Designing recursive procedures that operate on inductive types
Define type and equality predicates on inductive types
At the end of this experiment, the student is expected to know how to write recursive procedures that work with inductive datatypes, and in
particular the type and equality predicates on inductive types.