*** To be written.
For a more tutorial introduction to the language supported by GNU SETL, see the GNU SETL Tutorial [stub].
For information on how to run and use GNU SETL, see the GNU SETL User Guide.
For the primary document in the present set, see the GNU SETL Om.