# OriLang Reference Catalog

> Per-document links for the OriLang specification, learning guide, example programs, and standard library. The self-contained writing kit (syntax reference + grammar + operator rules) is at https://ori-lang.com/llms.txt; everything inlined into one document is at https://ori-lang.com/llms-full.txt.

## Specification (authoritative)

- [Grammar (EBNF) — the syntax single source of truth](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/grammar.ebnf): every valid Ori construct, in EBNF
- [Operator rules](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/operator-rules.md): precedence, associativity, desugaring to trait methods
- [1 Scope](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/01-scope.md)
- [2 Normative references](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/02-normative-references.md)
- [3 Terms and definitions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/03-terms-and-definitions.md)
- [4 Conformance](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/04-conformance.md)
- [5 Notation](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/05-notation.md)
- [6 Source Code Representation](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/06-source-code.md)
- [7 Lexical Elements](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/07-lexical-elements.md)
- [8 Types](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/08-types.md)
- [9 Properties of Types](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/09-properties-of-types.md)
- [10 Declarations](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/10-declarations.md)
- [11 Blocks and Scope](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/11-blocks-and-scope.md)
- [12 Constants](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/12-constants.md)
- [13 Variables](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/13-variables.md)
- [14 Expressions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/14-expressions.md)
- [15 Patterns](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/15-patterns.md)
- [16 Control flow](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/16-control-flow.md)
- [17 Errors and panics](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/17-errors-and-panics.md)
- [18 Modules](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/18-modules.md)
- [19 Testing](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/19-testing.md)
- [20 Capabilities](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/20-capabilities.md)
- [21 Memory model](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/21-memory-model.md)
- [22 Concurrency model](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/22-concurrency-model.md)
- [23 Program execution](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/23-program-execution.md)
- [24 Constant expressions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/24-constant-expressions.md)
- [25 Conditional compilation](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/25-conditional-compilation.md)
- [26 Foreign function interface](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/26-ffi.md)
- [27 Reflection](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/27-reflection.md)
- [Annex C (normative) — Built-in functions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/annex-c-built-in-functions.md)
- [Annex D (informative) — Formatting](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/annex-d-formatting.md)
- [Annex E (informative) — System considerations](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/ori_lang/v2026/spec/annex-e-system-considerations.md)

## Guide (learning path)

- [Getting Started](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/01-getting-started.md)
- [Language Basics](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/02-language-basics.md)
- [Functions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/03-functions.md)
- [Collections](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/04-collections.md)
- [Custom Types](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/05-custom-types.md)
- [Pattern Matching](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/06-pattern-matching.md)
- [Option and Result](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/07-option-result.md)
- [Error Propagation](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/08-error-propagation.md)
- [Panic and Recovery](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/09-panic-recovery.md)
- [Modules and Imports](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/10-modules-imports.md)
- [Constants](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/11-constants.md)
- [Testing](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/12-testing.md)
- [Capabilities](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/13-capabilities.md)
- [Concurrency](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/14-concurrency.md)
- [Channels](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/15-channels.md)
- [Traits](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/16-traits.md)
- [Iterators](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/17-iterators.md)
- [Extensions](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/18-extensions.md)
- [Compiler Patterns](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/19-compiler-patterns.md)
- [Memory Model](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/20-memory-model.md)
- [Formatting Rules](https://raw.githubusercontent.com/upstat-io/ori-lang/master/docs/guide/21-formatting.md)

## Code examples (real, passing conformance tests)

Each file is a complete Ori program from the compiler test suite — verified against the current compiler:

- [generic_impl.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/traits/generic_impl.ori): generic trait implementations (`impl<T: Bound> Type<T>: Trait`)
- [default_assoc_types.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/traits/default_assoc_types.ori): associated types with defaults
- [object_safety.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/traits/object_safety.ori): trait objects and object safety
- [declaration.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/capabilities/declaration.ori): declaring capability effects with `uses`
- [providing.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/capabilities/providing.ori): providing capabilities with `with Cap = impl in expr` (mocking)
- [async.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/capabilities/async.ori): capabilities + Suspend (async)
- [exhaustiveness.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/patterns/exhaustiveness.ori): match expressions and exhaustiveness
- [try.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/patterns/try.ori): `try` blocks and `?` error propagation
- [catch.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/patterns/catch.ori): `catch` for panic-to-Result conversion
- [recurse.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/patterns/recurse.ori): `recurse` structured-recursion pattern
- [const_generics.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/types/const_generics.ori): const generics (`@f<T, $N: int>`)
- [existential.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/types/existential.ori): existential types (`impl Trait` returns)
- [polymorphism.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/inference/polymorphism.ori): Hindley-Milner inference + polymorphism
- [operators_precedence.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/expressions/operators_precedence.ori): operator precedence in practice
- [map_cow.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/collections/cow/map_cow.ori): value-semantic collections (copy-on-write maps)
- [free_floating_test.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/tests/spec/free_floating_test.ori): first-class test declarations (`tests` syntax)
- [Full conformance suite](https://github.com/upstat-io/ori-lang/tree/master/tests/spec): hundreds more, organized by language area

## Standard library (idiomatic Ori source)

- [prelude.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/library/std/prelude.ori): the prelude: Option, Result, core traits, iterator machinery
- [testing.ori](https://raw.githubusercontent.com/upstat-io/ori-lang/master/library/std/testing.ori): assertion helpers (assert_eq, assert_panics, ...)
- [library/std](https://github.com/upstat-io/ori-lang/tree/master/library/std): the full standard library, written in pure Ori (collections, json, text, math, time, fs, net, crypto, ...)

## Project

- [GitHub repository](https://github.com/upstat-io/ori-lang): compiler source, issues, releases
- [Interactive playground](https://ori-lang.com/playground): run Ori in the browser (WASM)
- [Compiler roadmap](https://ori-lang.com/roadmap/): implementation status by language area
- [Install](https://ori-lang.com/install.sh): `curl -fsSL https://ori-lang.com/install.sh | sh`