首页
标签
agda-stdlib
需要帮助在 Agda 中将数字转换为字符串
Agda 安装 PLFA 配置
终止检查失败
Agda hello-world 中 运行 的未解析元数据
Agda: std-lib: List: 检查过滤后的列表是否为空
Agda: std-lib: 列表：除最后一个元素外的所有元素都带有 snoc
Agda: std-lib: 列表：与 snoc 的模式匹配
防止开发 agda 破坏基本标准库的使用？