首页
程序开发
写作辅助
多媒体
实用工具
博客
当前分类:
agda
agda - 在 Agda 中启用尾部调用优化
set - 适当使用Universe 多态性
macros - 带有中缀表示法的索引二元运算符族
将排序列表与大小类型合并
agda - Agda 中的可判定谓词
recursion - 协助Agda的终止检查器制作递归函数
agda - 如何证明 Vec 的展开反转?
recursion - 在使用乘积与向量时保持仿函数的积极性
agda - 我如何改变 agda 中 forall 的工作?
agda - 在应用程序中使用 subst 会弄乱结果的类型
typechecking - Agda 类型检查错误
installation - 加载Agda标准库
parameters - 如何解决 Agda 模块参数不灵活的问题?
agda - 检查模式 p(y) 是否具有 Z 类型时 x != y 类型为 Y
agda - 证明 agda 定理。错误 : should be a function type, 但不是
agda 返回列表的偶数索引
agda - 为什么这个 Agda 程序不会规范 `with` 子句下的表达式?
agda - 隐秘错误 : `.A !=< .A₁ of type Set` in simple function
Agda:声明与定义分开
types - 我如何才能让 Agda 相信我的函数具有一定的值(value)?
«
1
2
3
4
5
6
»
热门标签:
编程
数据结构与算法
其他