Update content/lessons/05_types_reasoning/index.md

tonowak · wprzytula · web-flow · commit 628ec9a84922 · 2025-10-22T21:27:07.000+02:00
Co-authored-by: Wojciech Przytuła &lt;wp418383@students.mimuw.edu.pl&gt;
diff --git a/content/lessons/05_types_reasoning/index.md b/content/lessons/05_types_reasoning/index.md
@@ -3,7 +3,7 @@ title = "Reasoning About Types"
 date = 2025-10-20
 weight = 1
 [extra]
-lesson_date = 2025-10-22
+lesson_date = 2025-10-23
 +++
 
 # Type traits
