Contents

• Contents
• The Sol Programming Language
  • Introduction
  • Sol Concepts
    • Lists
    • Sets
    • Categories
  • Formal Description
• The R4RS Scheme Implementation
  • Implementation Specific Code
    • Kawa Implementation
    • Kawa Implementation
  • Sol Sets
    • The Sol Set
    • The Core Sets
    • Explicit Sets
    • Derived Sets
    • Predicates
    • Standard procedures relating to Sol sets
  • Libraries
    • The SolCanvas Graphics System
    • The SolCanvas Graphics System
    • The SolCanvas Graphics System
  • Postscript