diff options
| author | Edoardo La Greca | 2025-08-22 21:23:04 +0200 |
|---|---|---|
| committer | Edoardo La Greca | 2025-08-22 21:23:04 +0200 |
| commit | b75db22a1464e3b1d2f40b1e212f9826d3e1c46c (patch) | |
| tree | d1dd7ef309f150af6ff0f603f480a4126bd8fcce /lec04 | |
| parent | 7d97724c15ea11544f895de80f045a631754b993 (diff) | |
add "Lecture N: ..." to titles in notes of lecture 4 and 5
Diffstat (limited to 'lec04')
| -rw-r--r-- | lec04/notes.md | 2 |
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 |