Specification, tools, and examples for the Kaaya programming language.