λ抽象(無名関数) を SKI コンビネータに展開するトランスレータを Haskell で書きました。 コード一式を GitHub に置いています。 Stack の環境が整っている人であれば、 $ git clone https://github.com/todays...