summaryrefslogtreecommitdiff
path: root/lec04/notes.md
diff options
context:
space:
mode:
Diffstat (limited to 'lec04/notes.md')
-rw-r--r--lec04/notes.md2
1 files changed, 1 insertions, 1 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