あとで読む

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

追記：
飲みには行ってない。
というわけで上の「関数のつくりかた」を読んでいるわけだが、^f`XYが何で``s^fX^fYになるのか分からん。それともこれは「そういうもの」ということなのか？