首页
标签
s-combinator
SKS 等于 SKK 吗？
如何输入简单类型的 lambda 演算项 (S K K)
将 flip lambda 转换为 SKI 项