1. 1. Introduction to Flix
2. 2. Getting Started
   1. 2.1. Hello World!
   2. 2.2. Next Steps
3. 3. Data Types
   1. 3.1. Primitives
   2. 3.2. Tuples
   3. 3.3. Enums
   4. 3.4. Type Aliases
4. 4. Functions
5. 5. Immutable Data
   1. 5.1. Lists
   2. 5.2. Chains and Vectors
   3. 5.3. Sets and Maps
   4. 5.4. Records
6. 6. Mutable Data
   1. 6.1. Regions
   2. 6.2. References
   3. 6.3. Arrays
   4. 6.4. Structs
   5. 6.5. Collections
7. 7. Control Structures
   1. 7.1. If-Then-Else
   2. 7.2. Pattern Matching
   3. 7.3. Foreach
   4. 7.4. Monadic For-Yield
   5. 7.5. Applicative For-Yield
8. 8. Effect System
   1. 8.1. Primitive Effects
   2. 8.2. Effect Polymorphism
   3. 8.3. Effects and Handlers
   4. 8.4. Default Handlers
   5. 8.5. Effect-Oriented Programming
9. 9. Library Effects
   1. 9.1. Assert
   2. 9.2. Clock
   3. 9.3. Console
   4. 9.4. Env
   5. 9.5. Exit
   6. 9.6. FileSystem
   7. 9.7. Http and Https
   8. 9.8. Logger
   9. 9.9. Process
   10. 9.10. Random
   11. 9.11. Sleep
10. 10. Modules
    1. 10.1. Declaring Modules
    2. 10.2. Using Modules
    3. 10.3. Companion Modules
11. 11. Traits
    1. 11.1. Essential Traits
    2. 11.2. Automatic Derivation
    3. 11.3. Associated Types
    4. 11.4. Associated Effects
    5. 11.5. Higher-Kinded Types
12. 12. Structured Concurrency
13. 13. Parallelism
14. 14. Interoperability with Java
    1. 14.1. Creating Objects
    2. 14.2. Calling Methods
    3. 14.3. Reading and Writing Fields
    4. 14.4. Classes and Interfaces
    5. 14.5. Nested and Inner Classes
    6. 14.6. Exceptions
    7. 14.7. Boxing and Unboxing
    8. 14.8. Java Collections
15. 15. Fixpoints
    1. 15.1. Stratified Negation
    2. 15.2. Local Predicates
    3. 15.3. Functional Predicates
    4. 15.4. Lattice Semantics
16. 16. Everyday Programming
    1. 16.1. The Main Function
    2. 16.2. Printing to Standard Out
    3. 16.3. String Interpolation
    4. 16.4. Tail Recursion
    5. 16.5. Anonymous and Named Holes
    6. 16.6. Type Ascriptions
    7. 16.7. Redundancy
    8. 16.8. Debugging
17. 17. Tools
    1. 17.1. Visual Studio Code
    2. 17.2. Test Framework
18. 18. Build and Packages
    1. 18.1. Build
    2. 18.2. Packages
    3. 18.3. Publish
    4. 18.4. Outdated
21. 19. Advanced Features
    1. 19.1. Checked Casts
    2. 19.2. Unchecked Casts
    3. 19.3. Bugs and Unreachable Code
    4. 19.4. Laziness
    5. 19.5. Purity Reflection
    6. 19.6. Type-Level Programming
    7. 19.7. Termination Checking
24. 20. Common Problems
25. 21. Frequently Asked Questions
26. 22. Glossary
29. 23. Additional Information
    1. 23.1. Research Literature
    2. 23.2. Blog Posts
    3. 23.3. Videos
    4. 23.4. For LLMs