Index of concepts for Week 06

• Factorial function
• Factorial function (unit-test function)
• Fibonacci function
• Fibonacci function (unit-test function)
• Fibonacci numbers
• fold-right (for natural numbers)
• functional abstraction
• functional instantiation
• functions (generic)
• nat-fold-right, in essence
• nat-parafold-right, in essence
• OCaml (global letrec-expression declaring several names)
• OCaml (local letrec-expression declaring several names)
• OCaml keywords (let rec ... = ... and ... and ... = ...)
• OCaml keywords (let rec ... = ... and ... and ... = ... in ...)
• parafold-right (for natural numbers)
• primitive iteration
• primitive recursion
• recursion (mutual)
• recursion (tail)
• reward (see: tail recursion)
• tail call
• tail recursion (see: reward)

Version

Created [17 Sep 2022]