From 9950f9daefe7913362c89bd23c140735666c6d5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Wojciech=20Przytu=C5=82a?= Date: Wed, 23 Oct 2024 17:13:20 +0200 Subject: [PATCH] 05 lesson: bump edit date --- content/lessons/05_types_reasoning/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/lessons/05_types_reasoning/index.md b/content/lessons/05_types_reasoning/index.md index dd61f54..384bb42 100644 --- a/content/lessons/05_types_reasoning/index.md +++ b/content/lessons/05_types_reasoning/index.md @@ -1,6 +1,6 @@ +++ title = "Reasoning About Types" -date = 2022-11-07 +date = 2024-10-23 weight = 1 [extra] lesson_date = 2024-10-24