I\'m starting to learn lambda calculus and I need to implement I, S, K combinators in Erlang. Of course, S, K, I stands for:
I am new to lambda开发者_如何学C calculus and struggling to prove the following. SKK and II are beta equivalent.
一一韡莊 2022-03-20 06:56 “海纳百川”下一句是开发者_如何学运维“有容乃大”
加载中,请稍侯......