Skip to content

Rel Reference

The reference manual for the language Rel.

The manual consists of a collection of articles:

IntroductionA brief introduction to the Rel language.
ValuesBasic information about values in Rel.
Lexical SyntaxBasic vocabulary in Rel.
DeclarationsDeclarations in Rel.
ExpressionsExpressions in Rel.
Higher-Order DefinitionsDefining relations that operate on other relations.
AnnotationsFrequently-used annotations that provide additional information to the compiler.
SpecializationsHow to make certain values a part of the schema.
Integrity ConstraintsHow to formulate integrity constraints.
Other TopicsVarious other topics.
Data TypesDetailed information about the various data types.
Keywords and SymbolsAll the keywords and symbols.
TerminologyImportant terms used in the reference manual.
Rel LibrariesA collection of relations for a wide variety of common tasks.
Was this doc helpful?