Neander Language Specification

The Specification is the normative definition of the language. It is the authoritative source for syntax, semantics, the type system, and the safety and termination guarantees.

Read the latest published revision

See the Overview for a conceptual tour of the language and its design.