Remove superfluous clause in fact
commitd17224d7c12187598ea490788b50565568b80122
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateSat 28 Dec 2013, 20:29 (13 years ago)
parent0700c58
libs/prelude/Prelude/Nat.idr−1
@@ -223,7 +223,6 @@ fib (S (S n)) = fib (S n) + fib n
223223
224224total fact : Nat -> Nat
225225fact Z = S Z
226−fact (S Z) = S Z
227226fact (S n) = (S n) * fact n
228227
229228--------------------------------------------------------------------------------