2014-06-21 基礎概念演習 第11問 S(S(Z)) is less than S(S(S(Z)))を 導出システム CompareNat3 で判断 CompareNat3 を適用する余地がない・・・ S(Z) is less than S(S(S(Z)))なら分かるけど。 誰かemacsのこれを支援してくれるモードとか書いてないかしら。 ruby-modeで代用中