Robin Documentation

• Robin Tutorial
• Robin Specification
• Design Goals and Rationale
• Detecting Errors in Robin

For normative definitions of the symbols in the standard library, see the definition files in the stdlib directory.