Grass【ちょっと草植えときますね型言語】

Grass【ちょっと草植えときますね型言語】at TECH

Grass【ちょっと草植えときますね型言語】 - 暇つぶし2ch20:デフォルトの名無しさん
08/09/20 10:49:10
churchTrueはλx.λy.xなら
Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
curchFalseは
Abs(1, [Abs(1, [Abs(1, nil), App(1, 3)])])
となるのが自然と思ったんだけど、なにか勘違いしてる？

次ページ

続きを表示

1を表示