From 13f57907a8c632864d1e3b61af8c0639a9dd7c0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Hurlin?= Date: Mon, 14 Oct 2024 10:08:15 +0200 Subject: [PATCH] Renaming course 5 --- slides/course-05.html | 2 +- slides/course-05.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/slides/course-05.html b/slides/course-05.html index 51c7cc9..995c37b 100644 --- a/slides/course-05.html +++ b/slides/course-05.html @@ -1,7 +1,7 @@ - Mastering the Type System + Monads, GADTs and Type Families