我的新理论里，S和K组合子除了有=定义
S abc = ab(ac)
K ab = a
之外，还有⊢定义
abc ⊢ Sabc
a ⊢ Kab
[喵喵]
发布于 上海
概念机器
我的新理论里，S和K组合子除了有=定义
S abc = ab(ac)
K ab = a
之外，还有⊢定义
abc ⊢ Sabc
a ⊢ Kab
[喵喵]