首页
标签
k-combinator
SKS 等于 SKK 吗？
如何在 ReasonML 中创建一系列动作中间表达式（并避免创建元组）？
Tap 的函数签名（K 组合器）
如何输入简单类型的 lambda 演算项 (S K K)
将 flip lambda 转换为 SKI 项