doc: clarify text

chabulhwi · Sep 28, 2024 · 481b57d · 481b57d
1 parent 260022f
commit 481b57d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/en/quiz/chapter02.md b/docs/en/quiz/chapter02.md
@@ -184,7 +184,7 @@ def foo := let a := Nat; fun x : a => x + 2
 
 ## Question 22
 
-Use the `#print` command to check the definitions of the following functions:
+Use the `#print` command to check each definition of the following functions:
 
 ```lean
 namespace Question22
@@ -202,8 +202,8 @@ end Question22
 
 ## Question 23
 
-There's an error in the following code. Fix the expression after the `#eval`
-command by providing the missing arguments to the function `compose`.
+There's an error in the following code. Fix the expression after the last
+`#eval` command by providing the missing arguments to the function `compose`.
 
 ```lean
 namespace Question23