Simple examples

In addition to the examples given in the monograph, we give examples that will be useful to see the practices of Orikoto programs.

  1. how-to-use-redo.nb