/doc/sphinx/language/core/

• ../
• assumptions.rst
• basic.rst
• coinductive.rst
• conversion.rst
• definitions.rst
• index.rst
• inductive.rst
• modules.rst
• primitive.rst
• records.rst
• sections.rst
• sorts.rst
• variants.rst