10 Oct
2006
10 Oct
'06
5:15 p.m.
On 10/10/06, Nicolas Frisby
data Fin data Inf
data List l a = Cons a (List l a) | Nil
It's possible to make both "infinite list" and "finite list" datatypes: data Inf a = InfCons a (Inf a) data Fin a = FinCons a !(Fin a) | FinNil At least, I think the Fin type there has to be finite...