diff --git a/README.md b/README.md
index 1b92e8685439fac4186ad439dc878f0492599289..6ef2a20a59c70f69dc761573900fd288e2e7a1ae 100644
--- a/README.md
+++ b/README.md
@@ -56,17 +56,18 @@ The syllabus is organized in four main segments of five lectures each.
 * (24/09/2024) System F and a syntactic proof of its type soundness (FP).
   * ([slides 02](slides/fpottier-02.pdf),
      [slides without animations 02](slides/fpottier-printing-02.pdf)).
-* (01/10/2024) Algebraic data types, existential types, and GADTs (FP).
+* (01/10/2024) Algebraic data types and existential types (FP).
   * ([slides 03](slides/fpottier-03.pdf),
      [slides without animations 03](slides/fpottier-printing-03.pdf)).
-* (08/10/2024) GADTs, continued (FP).
-  * (see slides of previous week).
-* (15/10/2024) Closure conversion and defunctionalization (FP).
+* (08/10/2024) GADTs (FP).
   * ([slides 04](slides/fpottier-04.pdf),
      [slides without animations 04](slides/fpottier-printing-04.pdf)).
-* (read at home) (optional) The CPS transformation (FP).
+* (15/10/2024) Closure conversion and defunctionalization (FP).
   * ([slides 05](slides/fpottier-05.pdf),
      [slides without animations 05](slides/fpottier-printing-05.pdf)).
+* (read at home) (optional) The CPS transformation (FP).
+  * ([slides 06](slides/fpottier-06.pdf),
+     [slides without animations 06](slides/fpottier-printing-06.pdf)).
 * (22/10/2024) System F with mutable state; the value restriction; type soundness (GS)
   * ([slides](slides/scherer-02.pdf))
 
diff --git a/slides/fpottier-00.pdf b/slides/fpottier-00.pdf
index 429be3785a3ef439740726448ed969e0035c0d2d..c50d5b81bf985761728e59030ca20fc5fcd9018f 100644
Binary files a/slides/fpottier-00.pdf and b/slides/fpottier-00.pdf differ
diff --git a/slides/fpottier-01.pdf b/slides/fpottier-01.pdf
index 70abb2cadb5d04c80ecd10d89c0f13a4ff093799..7dd82ae513be62d15325e107e3ae9f094d2c036b 100644
Binary files a/slides/fpottier-01.pdf and b/slides/fpottier-01.pdf differ
diff --git a/slides/fpottier-01b.pdf b/slides/fpottier-01b.pdf
index 71e75177c008a0501c0819d1fbe5bcb150b3192a..ca1e4da512d45eb090c98b75ab2d8ac535d29454 100644
Binary files a/slides/fpottier-01b.pdf and b/slides/fpottier-01b.pdf differ
diff --git a/slides/fpottier-02.pdf b/slides/fpottier-02.pdf
index af70245da51671764be0a1d25fb58345610647e2..8b945db047f94c5f7fab891404d523c0db390bca 100644
Binary files a/slides/fpottier-02.pdf and b/slides/fpottier-02.pdf differ
diff --git a/slides/fpottier-03.pdf b/slides/fpottier-03.pdf
index 24734345ec2555e571e086c50daea0d0fc190c05..a4544d35d23f4c1bbf59c9ee0f4ce39b83d82c17 100644
Binary files a/slides/fpottier-03.pdf and b/slides/fpottier-03.pdf differ
diff --git a/slides/fpottier-04.pdf b/slides/fpottier-04.pdf
index 9996969207f669b77e337509cb481b910e067a6f..a56dbe0f621d3851a37c0db52cf5e13794843cfa 100644
Binary files a/slides/fpottier-04.pdf and b/slides/fpottier-04.pdf differ
diff --git a/slides/fpottier-05.pdf b/slides/fpottier-05.pdf
index 01197fab79a3e2cef44e68f38bb206eae0fc76d4..b817b1f78bf8e2e447fbf9e439e2dc9322d67c71 100644
Binary files a/slides/fpottier-05.pdf and b/slides/fpottier-05.pdf differ
diff --git a/slides/fpottier-06.pdf b/slides/fpottier-06.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..8e648948078a3ec85a0a24b7358e91cf91fda719
Binary files /dev/null and b/slides/fpottier-06.pdf differ
diff --git a/slides/fpottier-printing-01.pdf b/slides/fpottier-printing-01.pdf
index dc54b94769fb5bf86b86c8216ea243aba362bf9e..edcec889e7f7eaee3b53f8da0da7af48b1bd1426 100644
Binary files a/slides/fpottier-printing-01.pdf and b/slides/fpottier-printing-01.pdf differ
diff --git a/slides/fpottier-printing-01b.pdf b/slides/fpottier-printing-01b.pdf
index 423e199dfa470449e95bb4cc54495d08db64452d..1cbf2ad28df7bdf483040484822a1898be3f81c2 100644
Binary files a/slides/fpottier-printing-01b.pdf and b/slides/fpottier-printing-01b.pdf differ
diff --git a/slides/fpottier-printing-02.pdf b/slides/fpottier-printing-02.pdf
index 7ce0e7e576a57d5c18bf7313fb8ab4b36a7cef97..7c0d193749ee4e4fb1927fbcfc6283d8d8394269 100644
Binary files a/slides/fpottier-printing-02.pdf and b/slides/fpottier-printing-02.pdf differ
diff --git a/slides/fpottier-printing-03.pdf b/slides/fpottier-printing-03.pdf
index b05c0c3660a055c3057c519389256b9fbf0f9869..20e1c5e731aa91b03878c88c9a8850e7edbae3c8 100644
Binary files a/slides/fpottier-printing-03.pdf and b/slides/fpottier-printing-03.pdf differ
diff --git a/slides/fpottier-printing-04.pdf b/slides/fpottier-printing-04.pdf
index 4318b3bf80bb4f7ee25276125027ea8edb7545f0..e336bcb19c966597019ed3bd6f0cedf3f8857376 100644
Binary files a/slides/fpottier-printing-04.pdf and b/slides/fpottier-printing-04.pdf differ
diff --git a/slides/fpottier-printing-05.pdf b/slides/fpottier-printing-05.pdf
index 7567a5469a424735e71ffc67017e8328f75fd4b4..c2715a299afd47dc6cf4ef7445f66ef7f056bcfa 100644
Binary files a/slides/fpottier-printing-05.pdf and b/slides/fpottier-printing-05.pdf differ
diff --git a/slides/fpottier-printing-06.pdf b/slides/fpottier-printing-06.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..f682919952b3968e26553c3338466a2792f4c91c
Binary files /dev/null and b/slides/fpottier-printing-06.pdf differ