Update README.md

README.md

@@ -2,7 +2,7 @@
 
 <div style="display: flex; justify-content: center">
 
-> **版本 20230516** [谷雨同学](https://guyutongxue.site)制订
+> **版本 20240527** [谷雨同学](https://guyutongxue.site)制订
 
 </div>
 
@@ -26,8 +26,8 @@
 
 所有 Mini-Lisp 的实现：
 - 必须提供本文档所描述的所有库中导出的标识符；
-- 可以提供不在本文档描述的库之外的标识符；
-- 对于本文档所定义的标识符，可以提供额外的功能，但禁止与本文档所述的内容冲突。
+- 可以提供不在本文档描述的库之外的标识符；实现 *必须* 为此类标识符提供文档说明；
+- 对于本文档所定义的标识符，可以提供额外的功能，但禁止与本文档所述的内容冲突；实现 *必须* 为此类功能提供文档说明。
 
 #### 错误情形与未定义行为
 
@@ -664,7 +664,9 @@ Mini-Lisp 程序由若干表达式组成，这些表达式不为任何其它表
 
 ## 库
 
-以下过程定义中，若实参不符合形参名于 [§1.3](#凡例) 中所规定的期望实参类型，实现应当发出错误信号。
+以下过程定义中，若实参不符合形参名于 [§1.3](#凡例) 中所规定的期望实参类型或实现定义的期望实参类型，实现应当发出错误信号。
+
+> 注：若实现支持以下过程定义传入其它类型实参或其它长度的实参个数，则必须提供文档说明。
 
 ### 核心库