up

kirraObj · Jun 2, 2024 · 1914479 · 1914479
1 parent 7d97bd5
commit 1914479
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/content/a_gentle_introduction_to_liquid_types/index.md b/content/a_gentle_introduction_to_liquid_types/index.md
@@ -71,7 +71,7 @@ nat  = 42
 
 首先，它触发子类型查询。`t1` 是 `t2` 的子类型，如果每个具有 `t1` 类型的表达式也具有 `t2` 类型，则记做 `t1 <: t2`。
 
-在我们的例子中，子类型查询将检查在每次调用 `div` 时，除数的类型是否是规范中第二个参数的子类型，即 `{v : Int | v /= 0}`。例如，`good` 将触发以下子类型查询：
+在我们的例子中，子类型查询将检查在每次求值 `div` 时，除数的类型是否是规范中第二个参数的子类型，即 `{v : Int | v /= 0}`。例如，`good` 将触发以下子类型查询：
 
 ```haskell
 {v : Int | 0 < v} <: {v : Int | 0 /= v}