omochimetaru 4/20/2020 1:11 PM

ラムダ式 λxy.x + y

1:11 PM

λx.x + y

1:11 PM

λy.λx.x+y