Lecture Notes for Intro to CS, updates

• 05 May 2022: added a hint for the first intensional question in the mini-project about depth-first and breadth-first traversals
• 18 Apr 2022: added a solution for Exercise 25 – composing our own definitions in Week 01
• 16 Apr 2022: added the exercises for Week 13
• 10 Apr 2022: updated Exercise 25 and Exercise 26 in Week 11
• 03 Apr 2022: streamlined the names of the conversion functions in the chapter about concrete data types in Week 10
• 02 Apr 2022: added the material for Week 13
• 02 Apr 2022: added the material for Week 12
• 02 Apr 2022: added the material for Week 11
• 27 Mar 2022: added the exercises for Week 10
• 26 Mar 2022: added the material for Week 10
• 19 Mar 2022: added the mini-project about the power of recursion
• 19 Mar 2022: added the material for Week 09
• 19 Mar 2022: added a chapter about observational equivalence and functional equivalence in Week 07
• 13 Mar 2022: added a general summary and three exercises in the background chapter in Week 01
• 12 Mar 2022: added the material for Week 08
• 11 Mar 2022: adjusted the statements of the exercises in the chapter about inlining functions in Week 07
• 11 Mar 2022: renamed sum to be sigma in Exercise 07 and simplified Exercise 07.f
• 11 Mar 2022: added a template .ml file for the miscellaneous mini-project, belatedly
• 05 Mar 2022: updated the index
• 04 Mar 2022: moved Exercise 03 from one chapter to the next
• 04 Mar 2022: fine-tuned the midterm mini-project about cracking polynomial functions
• 03 Feb 2022: added the material for Week 07
• 02 Mar 2022: added a forgotten exercise in the midterm project
• 01 Mar 2022: added the midterm project
• 19 Feb 2022: added the material for Week 06
• 18 Feb 2022: added a postlude that is relevant for the exercises in Week 05
• 13 Feb 2022: added the exercises for Week 05
• 13 Feb 2022: added a chapter revisiting polynomials in Week 05
• 13 Feb 2022: updated the chapter about induction and recursion over natural numbers with nested boxes to illustrate a recursive declaration, in Week 05
• 13 Feb 2022: added some words about the newline character in the chapter about strings, in Week 05
• 13 Feb 2022: refined the first mention of libraries and added an express interlude in the chapter about OCaml: a language of algebraic expressions, with names and functions, in Week 03
• 12 Feb 2022: added the material for Week 05
• 12 Feb 2022: added an interlude about Boileau in Week 01
• 05 Feb 2022: added all the .ml files for Week 04
• 05 Feb 2022: added the material for Week 04
• 04 Feb 2022: added the interlude about unit tests and the unit type in the chapter about unit tests in Week 03
• 04 Feb 2022: simplified the statement of Exercise 10 in Week 03
• 29 Jan 2022: added the exercises for Week 03
• 29 Jan 2022: added the material for Week 03
• 23 Jan 2022: added extra material about induction proofs
• 22 Jan 2022: added the material for Week 02
• 16 Jan 2022: added the material for Week 01
• 15 Jan 2022: updated the evaluation policy from term project to oral exam
• 14 Jan 2022: created