[EMAIL PROTECTED] writes: > Jón Fairbairn wrote: > > [EMAIL PROTECTED] writes: > > > >> Besides, having > >> > >> let q = FinCons 3 q in q > >> > >> not being _|_ crucially depends on memoization. > > > > Does it? > PS: Your derivations are fine in the case of a non-strict FinCons. But > the point is to make in strict.
Yes, I was trying to be subtle but was too sleepy and lost the plot. -- Jón Fairbairn [EMAIL PROTECTED] _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
