Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Judgments and inference rules article
- Data types article
- Typing judgments and static semantics article
- Linear and affine type disciplines article
- Ownership, borrowing and lifetimes article
- Product and sum types article
- Pattern matching and exhaustiveness article
- Recursive types and algebraic data types article
- Untyped lambda calculus article
- Simply typed lambda calculus article
- Curry-Howard correspondence article
- Pure functions and immutable data article
- Effect systems article