http://hw001.gate01.com/eggplant/tcf/unlambda/ 本当はLazy Kをやってみたいのだが、そういえば上のところにUnlambdaにおける関数の考えかたが書いてあったことを思い出した。しかし今から飲みにいく。 追記： 飲みには行ってない。 というわけで上の「関…

チャーチ数そのものが何たるかは分かった気がするが、それをSとKで表せない。私にもっとコンビネータを！ とか垂れ流すだけでは何だかさびしくなってきたので、ここを読んでる私の知り合いもしくは自分の理解の確認にも発信してみる。Unlambdaはパッと見でウ…