ラムダ計算(2)

適当にソースを整理してみた．applyの代わりに[]で適用できるようにしたり．しかし，もっと綺麗に書けると思うんだけど．

ラムダ計算 - Wikipediaを参考に適当に書いただけなので，思い切り勘違いしているかも．

zeroとsuccのラムダ式があれば，そこからすべての整数を作れるけれど，そのzeroやsuccはどうやって作るんだろう．SKIコンビネータから全部作れる？

(バグバグっぽいので，ソースは削除)