Index of concepts for Week 09

• accumulators
• accumulators (for lists)
• accumulators (for non-negative integers)
• accumulators (the many uses of)
• addition (function, logarithmic)
• bits
• Cartesian product (of a list of sets)
• exponentiation (function, logarithmic)
• Factorial numbers (rising and falling, revisited)
• fibfib (recursive definition of)
• fibfib (tail-recursive definition of)
• fold-left (for lists)
• fold-left (for natural numbers)
• fold-right (for lists)
• invariant (loop)
• iota
• lambda-dropped definition
• lambda-hoisting
• lambda-lifted definition
• List. (init)
• list-fold-left, in essence
• list-fold-right, in essence
• multiplication (function, logarithmic)
• nat-fold-left, in essence
• None (option)
• option type (polymorphic)
• Platonism
• powerset (revisited)
• powerset (tail-recursive)
• sets as lists (re1visited, using an accumulator)
• sets as lists (re2visited, using fold-right)
• sets as lists (re3visited, using fold-left)
• S-m-n theorem (much)
• Some (option)
• YOYOYOLOOO
• zipping lists

Version

Added the index about lambda-hoisting [24 Nov 2024]

Added the index about rising and falling Factorial numbers [19 Mar 2022]

Created [13 Oct 2022]