[Haskell-cafe] Clarification on proof section of HS: The Craft of FP

[Stefan Holdermans]

Daniel,

Interestingly, we can also use induction to reason about infinite list. 
To this end, we use _|_ (`bottom' or `undefined') as a base case.

To prove something for both finite and infinite lists, one uses two 
base cases (_|_, and []) and takes the inductive step.

HTH,

Stefan