@@ -146,19 +146,15 @@ gt left right = lt right left
146146
147147||| Find the least of two natural numbers
148148total minimum : Nat -> Nat -> Nat
149−minimum left right =
150− if lte left right then
151− left
152− else
153− right
149+minimum Z m = Z
150+minimum (S n) Z = Z
151+minimum (S n) (S m) = S (minimum n m)
154152
155153||| Find the greatest of two natural numbers
156154total maximum : Nat -> Nat -> Nat
157−maximum left right =
158− if lte left right then
159− right
160− else
161− left
155+maximum Z m = m
156+maximum (S n) Z = S n
157+maximum (S n) (S m) = S (maximum n m)
162158
163159--------------------------------------------------------------------------------
164160-- Type class instances