Update release history

leanprover · Oct 21, 2022 · aec1403 · aec1403
1 parent 2816fa6
commit aec1403
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/functional-programming-lean/src/title.md b/functional-programming-lean/src/title.md
@@ -8,6 +8,10 @@ This version of the text is written for Lean 4 release `{{#lean_version}}`.
 
 ## Release history
 
+### October, 2022
+
+This release completes the chapter on type classes. In addition, a short interlude introducing propositions, proofs, and tactics has been added just before the chapter on type classes, because a small amount of familiarity with the concepts helps to understand some of the standard library type classes.
+
 ### September, 2022
 
 This release adds the first half of a chapter on type classes, which are Lean's mechanism for overloading operators and an important means of organizing code and structuring libraries. Additionally, the second chapter has been updated to account for changes in Lean's stream API.