Index of concepts for Week 05

• addition (function, linear)
• body (of a letrec-expression)
• exponentiation (function, linear)
• Factorial numbers
• Factorial numbers (rising and falling)
• Gauss (to the rescue)
• map (for strings)
• multiplication (function, linear)
• OCaml (global letrec-expression declaring one name)
• OCaml keywords (let rec ... = ...)
• OCaml keywords (let rec ... = ... in ...)
• OCaml (local letrec-expression declaring one name)
• overflow (buffer)
• paradox (computational content)
• polynomials (decimal integers as)
• power (function, see exponentiation)
• Printf.
• Printf. (printf)
• Printf. (sprintf)
• recursion
• recursion (structural, for natural numbers)
• recursive functions
• string-map, in essence
• string-mapi, in essence
• String. (get, syntactic sugar for)
• String. (init)
• String. (map)
• String. (mapi)
• tilde notation for negative numbers
• unfolding (a let-expression)
• unparsing (Booleans)
• unparsing (characters)
• unparsing (integers)
• unparsing (polymorphic pairs)
• unparsing (polymorphic triples)
• unparsing (strings)
• unparsing (values)

Version

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

Created [10 Sep 2022]