MLgraph: A library to produce images in Caml
This library has been designed and implemented by
and Guy Cousineau to produce images of PostScript quality.
It is available for
This library is principally aimed at producing technical
illustrations for books, reports or research papers.
Very often, these illustrations are graphical representations
of formal objects that are described and studied in the text.
These objects are usually structured and their graphical
representation can be recursively computed from their
The graphical representation of structured object is naturally produced
in a functional way. Starting from elementary graphisms corresponding
to elementary objects, one builds more complex graphisms using
graphical combinations of these objects.
To program these constructions, it is very natural
to consider images as values and graphical combinations as functions.
MLgraph offers a type picture for images
and a set of picture construction functions.
It uses the PostScript graphical model but in a much
higher level language. See the reference manual for examples.