Index of concepts for Week 08

• accessors (list)
• andmap (for lists)
• associativity (of list concatenation)
• atoi
• base case (structural induction over lists)
• Cartesian product (of 2 sets)
• Cartesian product (of 3 sets)
• cons
• cons (right-associativity of)
• cons (List.)
• Coq proof assistant
• equality (physical, ==)
• equality (structural, =)
• induction step (structural induction over lists)
• induction hypothesis (structural induction over lists)
• induction (nested)
• induction (structural, for lists)
• inequality (physical, !=)
• inequality (structural, <>)
• List.
• List. (append)
• List. (cons)
• List. (exists)
• List. (for_all)
• List. (hd)
• List. (length)
• List. (map)
• List. (sort)
• List. (tl)
• list concatenation (right associativity of)
• listlessness
• list_ (andmap)
• list_ (appendmap)
• list_ (map)
• list_ (ormap)
• list_ (permutations)
• list-map, in essence
• list-mapi, in essence
• lists
• lists (concatenating)
• lists (copying)
• lists (length of)
• lists (linked)
• lists (polymorphic)
• loop fusion
• map (for lists)
• match-expressions (do’s)
• match-expressions (don’ts)
• naming convention (plural)
• nil (the empty list)
• OCaml (control stack)
• OCaml (match-expressions)
• overflow (control stack)
• ormap (for lists)
• powerset
• Pythagorean triples
• recursion (nested)
• recursion (structural, for lists)
• Scheme (Chez)
• sets as lists
• unparsing (polymorphic lists)
• zipping lists (un)

Version

Added the entries for structural inequality and for physical inequality [10 Mar 2023]

Created [06 Oct 2022]