Index of concepts for Week 13

• variables
• Fortran (names of variables in)
• accessors (list, revisited)
• exceptions (raising)
• lists (imperative)
• circular lists
• self-reference (in a circular list)
• Coq proof assistant (chicken or egg)
• exceptions (catching)
• exceptions (declaring new)
• continuations
• OCaml (references)
• OCaml (sequencing)
• OCaml (semicolon)
• associativity (of sequencing)
• OCaml (begin and end)
• command (in OCaml)
• OCaml (for-loops)
• body (of a for-loop)
• Church encoding
• parafold-left (for natural numbers)
• OCaml (while-loops)
• body (of a while-loop)

Version

Created [03 Nov 2022]