最初のタイトルは
実装する前に死亡しそうなのでやめました
標準出力への出力
→ Lazy Kは(入力)を(出力)に変換するだけで標準出力への書き出しは処理系の命令をそのまま使うだけ
文字列
→ チャーチ数という数字を表す表現があるのでそれでASCIIコード生成して処理系で文字として扱う
http://www.npca.jp/works/magazine/2012_3/
灘高すごい(KONAMI
By hakaicode