# Summary

- [Introduction](./introduction.md)
- [Maturity Matrix](./maturity.md)

# Tutorial

- [Getting Started](./getting-started.md)
- [Types](./inductive-types.md)
- [Type Classes](./type-classes.md)
- [Instances](./instances.md)
- [Structs](./structs-enums.md)
- [Error Handling](./error-handling.md)
- [Modules and Imports](./modules.md)
- [The IO Monad](./io-monad.md)

# Advanced

- [Dependent Types](./dependent-types.md)
- [Macros and Derive](./macros.md)
- [Termination Checking](./termination.md)
- [Linear Types](./linear-types.md)
- [Concurrency](./concurrency.md)

# Toolchain

- [Compiling and Running](./compiling.md)
- [The Standard Library](./stdlib.md)

# Reference

- [Reference](./reference.md)

# Appendix

- [The Bootstrap Host](./bootstrap-host.md)