Since Sol is still in flux, there is no formal description of the language available at this time. Please see the revised4 report on Scheme for a formal description of that language, and the informal documentation and source code presented here for a description of Sol.