# Strict types

## Strict types

- [Strict types](https://docs.strict-types.org/readme.md): Portable & deterministic formalism for algebraic data types
- [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)