Each construct and concept of the language is described in a separate hypertext page, with links to the pages describing related constructs and concepts. Where applicable, syntax descriptions are given in a notation based on EBNF.
Here is a link to the description of a Slim program.