@@ -146,19 +146,15 @@ gt left right = lt right left
147||| Find the least of two natural numbers
147||| Find the least of two natural numbers
148total minimum : Nat -> Nat -> Nat
148total minimum : Nat -> Nat -> Nat
149−minimum left right =
149+minimum Z m = Z
150− if lte left right then
150+minimum (S n) Z = Z
151− left
151+minimum (S n) (S m) = S (minimum n m)
155||| Find the greatest of two natural numbers
153||| Find the greatest of two natural numbers
156total maximum : Nat -> Nat -> Nat
154total maximum : Nat -> Nat -> Nat
157−maximum left right =
155+maximum Z m = m
158− if lte left right then
156+maximum (S n) Z = S n
159− right
157+maximum (S n) (S m) = S (maximum n m)
163--------------------------------------------------------------------------------
159--------------------------------------------------------------------------------
164-- Type class instances
160-- Type class instances