翻訳完了。 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 翻訳過程で、コンビネータ論理で何ができるか、大体理解できてしまった気がするので、コンビネータ論理VMを作るのはまた今度、気が向いた…