REDUCE 3.7 Documentation

REDUCE 3.7 includes considerable documentation, not only for the core system, but also for the many application packages included in the release. Except where noted, the documentation is available in PDF format, which requires the free Acrobat reader for viewing.

One key document is the REDUCE User's Manual, version 3.7. This provides a comprehensive guide to the REDUCE language and the supported packages. A Postscript version of this and a Japanese version in HTML are also available. A primer for the symbolic mode of REDUCE and the Standard Lisp Report are also online.

The particular packages with their own documentation are as follows:

Lisp System-specific Documentation

A REDUCE implementation is built at the present time on one of two Lisp systems; Codemist Standard Lisp (CSL) or Portable Standard Lisp (PSL). The following documents are specific to the PSL version: