diff --git a/test/test_projet_pfa_23_24.ml b/test/test_projet_pfa_23_24.ml
index b675b7b..aa41a34 100644
--- a/test/test_projet_pfa_23_24.ml
+++ b/test/test_projet_pfa_23_24.ml
@@ -46,6 +46,11 @@ let tests_typeof =
   ; ( "(fun x -> x + 1) true"
     , Term.(App (Fun (x, Binop (Var x, Plus, IntConst 1)), Var x))
     , None )
+  ; (* Nested functions *)
+    ( "(fun x -> fun y -> x + y) 3 4"
+    , Term.(
+        App (App (Fun (x, Fun (y, Binop (Var x, Plus, Var y))), IntConst 3), IntConst 4))
+    , Some Type.Int )
   ]
 ;;