> For the complete documentation index, see [llms.txt](https://docs.strict-types.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.strict-types.org/type-system.md).

# Type system

- [Data type algebra](https://docs.strict-types.org/type-system/data-primitives.md)
- [Type semantics and layout](https://docs.strict-types.org/type-system/type-semantics-and-layout.md)