fix: typo

Zecyel · Zecyel · commit 1eef81980db6 · 2025-10-27T11:39:00.000Z
diff --git a/docs/lab/lab3.md b/docs/lab/lab3.md
@@ -557,7 +557,7 @@ def game():
 
 > [!NOTE]
 >
-> 你知道吗，其实函数式编程语言更加贴近人类的思考过程。你有学过函数式编程语言吗？你能在 AI 的帮助下面的这一段 Haskell 代码吗？你觉得函数式编程语言和过程式语言的区别是什么？请在报告中回答。
+> 你知道吗，其实函数式编程语言更加贴近人类的思考过程。你有学过函数式编程语言吗？你能在 AI 的帮助下理解下面的这一段 Haskell 代码吗？你觉得函数式编程语言和过程式语言的区别是什么？请在报告中回答。
 >
 > ```haskell
 > safe :: Int -> [Int] -> Int -> Bool

Original file line number	Diff line number	Diff line change
`@@ -557,7 +557,7 @@ def game():`
`557`	`557`
`558`	`558`	`> [!NOTE]`
`559`	`559`	`>`
`560`		`-> 你知道吗，其实函数式编程语言更加贴近人类的思考过程。你有学过函数式编程语言吗？你能在 AI 的帮助下面的这一段 Haskell 代码吗？你觉得函数式编程语言和过程式语言的区别是什么？请在报告中回答。`
	`560`	`+> 你知道吗，其实函数式编程语言更加贴近人类的思考过程。你有学过函数式编程语言吗？你能在 AI 的帮助下理解下面的这一段 Haskell 代码吗？你觉得函数式编程语言和过程式语言的区别是什么？请在报告中回答。`
`561`	`561`	`>`
`562`	`562`	> ```haskell
`563`	`563`	`> safe :: Int -> [Int] -> Int -> Bool`