Fix mistake in new year

Fixes #147
leanprover · Jan 24, 2024 · 51fd4a5 · 51fd4a5
1 parent 9cab0f6
commit 51fd4a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.