Index of concepts for Week 07

• associativity (of addition, observable)
• commutativity (of addition, observable)
• equivalence (observational)
• inlining functions
• observational equivalence
• OCaml expressions (impure)
• OCaml expressions (pure)
• overflow (runtime stack)
• short-circuit evaluation
• stack (runtime)
• tests (regression)
• type errors (circularity)
• type (inference, a concrete example)
• type variables (weak)
• unfolding (a function call)

Version

Created [18 Sep 2022]