練習問題 3.1.5
m < nの場合は
m `ominus` n= Zeroとなる，減算の全域版
`ominus`を定義せよ．
ominus :: Nat -> Nat -> Nat
m `ominus` Zero = m
Zero `ominus` _ = Zero
(Succ m) `ominus` (Succ n) = m `ominus` nm < nの場合は
m `ominus` n= Zeroとなる，減算の全域版
`ominus`を定義せよ．
ominus :: Nat -> Nat -> Nat
m `ominus` Zero = m
Zero `ominus` _ = Zero
(Succ m) `ominus` (Succ n) = m `ominus` n