The language manual describes the syntax and semantics of both the language itself and the standard library that comes with it. It is available in several formats below. Please read this for more in-depth information about the Arena language.
Language and library are versioned to allow for both compatible and incompatible changes. This version of the manual describes version 2.2 of the language and version 3.0 of the library.
All of the above documents were generated from an ASCII master file, using a script written in Arena. For the PDF document, the Arena script is used to generate LaTeX source code. For the others, the Arena script directly produces the desired output.