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.

Exercise :

  • Define muln by recursion