Lambda calculus
以下は、ラムダ計算の教科書などに見られる、自然数ののコード例である。