Page 18, mult function is wrong #59
Description
Idris version 1.3.2
mult : (n, m : Nat) -> Nat
mult Z = Z
mult (S k) = plus m (mult k m)
Should be
mult : (n, m : Nat) -> Nat
mult Z _ = Z
mult (S k) m = plus m (mult k m)
{{ message }}
Idris version 1.3.2
mult : (n, m : Nat) -> Nat
mult Z = Z
mult (S k) = plus m (mult k m)
Should be
mult : (n, m : Nat) -> Nat
mult Z _ = Z
mult (S k) m = plus m (mult k m)