首页
标签
church-encoding
方案中教堂数字的递归
What does "Error: Universe inconsistency" mean in Coq?
是否可以在不破坏等式推理的情况下使用教会编码？
我如何为 Free Monads 使用 Church 编码？
是否有任何非递归术语折叠在 scott 编码列表上？
如何使用 Java 1.8 实现教会数字
1
2
3