From b75db22a1464e3b1d2f40b1e212f9826d3e1c46c Mon Sep 17 00:00:00 2001
From: Edoardo La Greca
Date: Fri, 22 Aug 2025 21:23:04 +0200
Subject: add "Lecture N: ..." to titles in notes of lecture 4 and 5

---
 lec04/notes.md | 2 +-
 lec05/notes.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lec04/notes.md b/lec04/notes.md
index 3448a8c..df4b4e4 100644
--- a/lec04/notes.md
+++ b/lec04/notes.md
@@ -1,4 +1,4 @@
-# Higher-order programming and type inference
+# Lecture 4: Higher-order programming and type inference
 
 ## Anonymous functions
 
diff --git a/lec05/notes.md b/lec05/notes.md
index 700fa23..94287f7 100644
--- a/lec05/notes.md
+++ b/lec05/notes.md
@@ -1,4 +1,4 @@
-# More Polymorphism and type classes
+# Lecture 5: More Polymorphism and type classes
 
 Haskell's polymorphism, which we've seen in previous lectures, is known as *parametric polymorphism* and requires that polymorphic functions must work uniformly for any input type. This requirement has interesting implications.
 
-- 
cgit v1.2.3