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 | |
| parent | 7d97724c15ea11544f895de80f045a631754b993 (diff) | |
add "Lecture N: ..." to titles in notes of lecture 4 and 5
| -rw-r--r-- | lec04/notes.md | 2 | ||||
| -rw-r--r-- | 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. |