Page 18, mult function is wrong

[PhilAndrew]

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)

[yurrriq]

Thanks for catching this. Could you please submit a PR and mention me?

[yurrriq]

hmm.. looks like the .lidr is correct, right? I'll work on getting the build env up to date and rebuilding the PDF.