1. Introduction
3. Language Concepts
4. 1. Named Values
5. 2. Scope
6. 3. Commands and the Graph
7. 4. Facts
9. Language Reference
10. 5. File Format
11. 6. Basic Syntax
12. 7. Types
    1. 7.1. Basic Types
    2. 7.2. Optional Types
    3. 7.3. Structs
    4. 7.4. Enumerations
    5. 7.5. Opaque Types
13. 8. Expressions
    1. 8.1. Operators
    2. 8.2. Functions
       1. 8.2.1. Queries and Counting
       2. 8.2.2. If and Match
       3. 8.2.3. Serialize and Deserialize
       4. 8.2.4. Todo
    3. 8.3. Block Expressions
    4. 8.4. Struct Conversion
14. 9. Top-level Declarations
    1. 9.1. Global Values
    2. 9.2. Structs
    3. 9.3. Enumerations
    4. 9.4. Facts
    5. 9.5. Actions
    6. 9.6. Effects
    7. 9.7. Commands
    8. 9.8. Functions
    9. 9.9. Foreign Function Interface
15. 10. Statements
    1. 10.1. let
    2. 10.2. publish
    3. 10.3. check
    4. 10.4. match
    5. 10.5. if
    6. 10.6. create
    7. 10.7. update
    8. 10.8. delete
    9. 10.9. emit
    10. 10.10. map
    11. 10.11. action
    12. 10.12. return
16. 11. Errors
17. 12. Queries and Iteration
18. Revision History