unlambdaの翻訳は長すぎてだれてきたので、ちょっと放置気味。 代わりに、Lazy Kの翻訳に手を出し始めた。 http://e.tir.jp/wiliki?%cb%dd%cc%f5%3a%a5%d7%a5%ed%a5%b0%a5%e9%a5%df%a5%f3%a5%b0%b8%c0%b8%ecLazy_K