Introduction
This document contains the literate-programming output of some
Ocaml-implementations of algorithms of the lectures. The code is separated in
a number of modules and compilation units. In case, an Ocaml-interface
.mli-file contains a module type, only one of the files are
shown in general. Neither are included opening statements for modules.
Section 1
Section 2
Section 5
Section 3
Section 4
Section 6
January 31, 2002