diff --git a/functional-programming-lean/src/title.md b/functional-programming-lean/src/title.md
index 1e5e1e5..292f2bc 100644
--- a/functional-programming-lean/src/title.md
+++ b/functional-programming-lean/src/title.md
@@ -10,7 +10,7 @@ This is a free book on using Lean 4 as a programming language. All code samples
 
 ## Release history
 
-### January, 2023
+### January, 2024
 
 This is a minor bugfix release that fixes a regression in an example program.