08/01/26 15:50:38
>>303
いかにしてα変換をサボるかが重要なわけだが
((lambda (x) (lambda (y) x)) y) => (lambda (foo) y)
08/01/26 15:50:38
>>303
いかにしてα変換をサボるかが重要なわけだが
((lambda (x) (lambda (y) x)) y) => (lambda (foo) y)
08/01/26 15:50:38
>>303
いかにしてα変換をサボるかが重要なわけだが
((lambda (x) (lambda (y) x)) y) => (lambda (foo) y)