●●●●TCL/TKなら俺に聞け 2●●●● at TECH
[2ch|▼Menu]
369:デフォルトの名無しさん
08/11/12 08:27:21
>>368
> >>365
> λx.λy..x
> =λx.x
> でしょ。

そんなequalityを持つλ計算の体系は見たことが無い

次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch
5496日前に更新/102 KB
担当:undef