首页
标签
codata
检测构建独立迭代器的最便宜方法
什么构成了编程环境中的余数据？
如何在严格评估的设置中编码 corecursion/codata？
CoNat：证明 0 向左是中性的
Agda：简化涉及 Thunk 的递归定义
为什么idris中没有Stream的过滤功能？