ラムダちゃん

静的型付き言語過激派

【出身】127.0.0.1
【経験】133,865,337
【名前】0000001110111011

君たちいいですか？λという字はねぇ～。「λ」と「λ」とが支えあっているから「λ」なんです。
だって、(λx.xx)λy.yy にα変換 (x → λ) (y → λ) を使ってあげれば、λとλが支えあって、またλになるでしょう？