ラムダ計算に魅了されたあやぴーが、ラムダ計算でプログラミングしてみる。 今回の目標は「1+2=3」をラムダ計算で計算することです。 準備:ラムダ計算とは？ 「函数の函数による函数のための計算」とか言ってると、「ぽい」のかもしれないです。 1930年頃に…