蚀 lambda-calculus 问答列表

为什么当我尝试使用 SKI-calculus 中的“S I I”实现递归时,Rust 会失败?

作者:Doubtful 提问时间:8/21/2023

注意:我从这里获取了定义:https://en.wikipedia.org/wiki/SKI_combinator_calculus#Informal_descriptionSI 所以,或者在 Ru...


共1条 当前第1页