Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Formal syntax and metavariables article
- First-order terms and unification article
- Mathematical statements and quantifiers article
- Logic programming with facts, rules and queries article
- Resolution and backtracking in logic programming article
- Typing judgments and static semantics article
- Type constraint generation article
- Hindley-Milner type inference and let polymorphism article