λ抽象(無名関数) を SKI コンビネータに展開するトランスレータを Haskell で書きました。 コード一式を GitHub に置いています。 https://github.com/todays-mitsui/lambda2s...