Up to list of GNU SETL manuals
*** To be written.
Meanwhile, Robert Dewar's quite comprehensive and very readable little book, The SETL Programming Language, is still a substantially accurate guide to the core language supported by GNU SETL if you leave out the stuff about macros (GNU SETL uses an adaptation of the GNU C Preprocessor instead), backtracking, the data representation sublanguage, and old-style modules.
GNU SETL supports both SETL and SETL2 syntax, so the examples in the adaptation of Robert Dewar's book by Robert Hummel, A Gentle Introduction to the SETL2 Programming Language, should work without modification. Note that SETL2 classes and closures are not supported by GNU SETL, but packages are.
There are numerous extensions to SETL embodied in GNU SETL, but currently these are only described in dB's Ph.D. thesis and in the GNU SETL Library Reference.
The classic textbook on SETL, Programming with Sets: An Introduction to SETL, by Schwartz, J.T., Dewar, R.B.K., Dubinsky, E., and Schonberg, E. (Springer-Verlag, New York, 1986), has been partly rewritten for SETL2 and is at http://www.settheory.com as Programming in SETL. The version of SETL described in the 1986 textbook is referred to in the GNU SETL documentation as “CIMS SETL”.
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.
See also the primary document in this set, the GNU SETL Om.