勉強のために作ってみました。もうちょっとさっぱり書けるようになるといいんですが。 チャーチ数で"1+1"はこんな感じです。 $ghci Main.hs * Main> runS "(\\mnsz.ms(nsz))(\\sz.sz)(\\sz.sz)" "\\sz.s(sz)"α変換はありません。これから勉強します。