在 Agda 证明中应用字符串等价的自反性
作者：PaulProgrammerNoob 提问时间：12/2/2022
在我的 Agda 程序中，我有一个小函数来检查字符串是否相等（例如简化）： open import Data.String.Base using (String) open import Date....
性 AGDA 问答列表
作者：PaulProgrammerNoob 提问时间：12/2/2022
在我的 Agda 程序中，我有一个小函数来检查字符串是否相等（例如简化）： open import Data.String.Base using (String) open import Date....