*Main> termToString $ ski (E2 (E3 S (E2 K (Var 'x')) (E3 S I I)) (Var 'y')) "xyy"という感じで動作するプログラム．某 Skype チャットに SKI という単語が出てきてふと思い出したので書いてみた．例によって間違ってる可能性ありありなので適当に指摘し…