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. Algebraic Data Types
      8. Pattern Matching
      9. Records
      10. Types and Annotations
      11. Debugging and CLI
      12. 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. Indexable
      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. Memory Management
  17. Embedding
  18. Contributing
  19. LLMs