To play this document inside your browser use ALT-N and ALT-P.
You can
save your edits
inside your browser and
load them back
(edits are also saved when you close the window). Finally you can
download
the file for offline editing.
Exercise :
- Define the option container with constructors None and Some
- Define the
projection
default
Exercise :
Define boolean negation
Exercise :
Use the
iter function below to define:
- addition over natural numbers.
- multiplication over natural unmbers.