[Haskell-cafe] Induction (help!)

Andrew Coppin andrewcoppin at btinternet.com
Wed May 7 17:41:52 EDT 2008


PR Stanley wrote:
> add Zero n = n

So this function takes the left argument, and replaces Zero with n. Well 
if n = Zero, this clearly leaves the left argument unchanged...



More information about the Haskell-Cafe mailing list