Church numerals and Lambda Calculus
SICP読み込み再開。で、Church数がサッパリわからんかったんで京大のページを参照。したらわかったことはわかったが、。%predp移行の後半がやっぱりサッパリわからん…。論理的に、どういう方程式から出てきとるんや、これ?
SICP読み込み再開。で、Church数がサッパリわからんかったんで京大のページを参照。したらわかったことはわかったが、。%predp移行の後半がやっぱりサッパリわからん…。論理的に、どういう方程式から出てきとるんや、これ?