diff --git a/README.md b/README.md
index ffae161a73760b5fac7053dd717d8799c30a56f4..8897c016be61b91b2382e7c3843ae5255623c9e6 100644
--- a/README.md
+++ b/README.md
@@ -107,7 +107,7 @@ The syllabus is organized in four main segments of five lectures each.
   + Hands-on: binary search trees in Rust ([exercises](tdtp/jhjourdan1.pdf), [solution](tdtp/jhjourdan1_solution.rs)).
 * (07/02/2024) Multi-threading (JHJ) ([slides](slides/jhjourdan-03.pdf)).
   + Hands-on: persistent arrays ([exercises](tdtp/jhjourdan2.pdf), [template](tdtp/jhjourdan2_template.rs), [solution](tdtp/jhjourdan2_solution.rs)).
-* (14/02/2024) Metatheory of Rust's type system (JHJ).
+* (14/02/2024) Metatheory of Rust's type system (JHJ) ([slides](slides/jhjourdan-04.pdf)).
 * (21/02/2024) Exercise session (PED).
 * (28/02/2024) *break*
 * (06/03/2024) **final exam**
diff --git a/slides/jhjourdan-04.pdf b/slides/jhjourdan-04.pdf
index a64ec58c0ee606f0cdf3dda21e036b9558cca761..6d6e25e21d5896e9527b3e35a79ef239b4465331 100644
Binary files a/slides/jhjourdan-04.pdf and b/slides/jhjourdan-04.pdf differ