Standard Metas

In the standard library of Arend, a number of language extensions (or metas by another name) are implemented. Those extensions are great but lacks detailed description on their behaviors in the documentation provided in the source code. This section serves as a place for detailed and example-driven documentation for the metas implemented in the standard library.

These metas are scattered into several modules:

• Meta
• Paths.Meta
• Function.Meta
• Algebra.Meta
• Logic.Meta
• Debug.Meta