diff --git a/README.md b/README.md
index ac7e184da654afd6cb5d233adc5cc02cd7763eaa..979f9abf0b4642030462e57ccc3fe1576d8e7331 100644
--- a/README.md
+++ b/README.md
@@ -91,6 +91,8 @@ The syllabus is organized in four main segments of five lectures each.
 
 * (06/12/2023) Ad-hoc polymorphism and overloading ([handout by D. Rémy](http://cambium.inria.fr/~remy/mpri/cours-overloading.pdf), PED).
 * (13/12/2023) Applicative functors and monads (PED).
+  + [Monadic gymnastics (OCaml)](https://gitlab.com/pedagand/mpri-2.4-monads)
+  + [Functor-oriented programming (Agda)](./agda/04-generic/Desc.lagda.rst)
 * (20/12/2023) Hindley-Milner type inference and elaboration (GS).
 * (10/01/2024) Bidirectional type inference and elaboration (PED).
 * (17/01/2024) System Fω and modules (PED).