REL
Rel Reference
The reference manual for the language Rel.
The manual consists of a collection of articles:
| Article | Description |
|---|---|
| Introduction | A brief introduction to the Rel language. |
| Values | Basic information about values in Rel. |
| Lexical Syntax | Basic vocabulary in Rel. |
| Declarations | Declarations in Rel. |
| Expressions | Expressions in Rel. |
| Higher-Order Definitions | Defining relations that operate on other relations. |
| Annotations | Frequently-used annotations that provide additional information to the compiler. |
| Specializations | How to make certain values a part of the schema. |
| Integrity Constraints | How to formulate integrity constraints. |
| Other Topics | Various other topics. |
| Data Types | Detailed information about the various data types. |
| Keywords and Symbols | All the keywords and symbols. |
| Terminology | Important terms used in the reference manual. |
| Rel Libraries | A collection of relations for a wide variety of common tasks. |
Was this doc helpful?