fun - fun
lambda 演算 小例子
在 Lambda tutorial 中要求完成，要求输入“((D man) sleeps)”，输出为“(e x ((man x) & (sleeps x)))”，请填充"D"
测试的答案如下：
输入： (((lambda z (lambda y (e x ((z x) & (y x))))) man) sleeps)
输出： (e x ((man x) & (sleeps x)))
在 Lambda tutorial 中要求完成，要求输入“((D man) sleeps)”，输出为“(e x ((man x) & (sleeps x)))”，请填充"D"
测试的答案如下：
输入： (((lambda z (lambda y (e x ((z x) & (y x))))) man) sleeps)
输出： (e x ((man x) & (sleeps x)))