1. Introduction
  3. Tutorial
  4. Rex Tutorial
    ❱
    1. Section 1 — Basics
      ❱
      1. Getting Started
      2. Expressions
      3. Let Bindings
      4. Functions
      5. Operators
      6. Collections
      7. Dictionaries
      8. Algebraic Data Types
      9. Pattern Matching
      10. Records
      11. Types and Annotations
      12. Debugging and CLI
      13. Prelude Tour
    2. Section 2 — Advanced Topics
      ❱
      1. Type Inference
      2. Polymorphism
      3. Typeclasses
      4. Instances
      5. Constraints and Where
      6. Resolution and Coherence
      7. Functor
      8. Applicative
      9. Monad
      10. Writing Instances
      11. Defaulting
      12. Higher-Kinded Types
    3. Section 3 — Worked Examples
      ❱
      1. Lists
      2. Folds
      3. Match and ADTs
      4. Records
      5. Functor Polymorphism
      6. Option Pipelines
      7. Result Workflows
      8. Custom Show Printing
      9. Custom Size
      10. List Helpers
      11. Small Standard Module
      12. Mini Project
  6. Demos
  7. Demo Index
    ❱
    1. Factorial
    2. Fibonacci
    3. Merge Sort
    4. Binary Search Tree
    5. Expression Evaluator
    6. Dijkstra Lite
    7. 0/1 Knapsack
    8. Union-Find
    9. Prefix Parser + Evaluator
    10. Topological Sort
    11. N-Queens
  9. Built-ins
  10. Built-in types & functions
  12. Reference
  13. Language Reference
  14. Specification
  15. Architecture
  16. OCI Executor Protocol
  17. Installable Tool Binaries
  18. Memory Management
  19. Embedding
  20. Contributing
  21. LLMs