Robin Documentation =================== * [Robin Tutorial](Tutorial.md) * [Robin Specification](Robin.md) * [Design Goals and Rationale](Rationale.md) * [Detecting Errors in Robin](Errors.md) For normative definitions of the symbols in the standard library, see the definition files in the [stdlib directory](../stdlib/).