
22 Jul
2008
22 Jul
'08
6:29 a.m.
Don Stewart wrote:
If you can demonstrate the required laziness/strictness properties are identical, looks like a nice idea.
I think they are not identical, as something along Antoine's second example demonstrates. -- Dr. Janis Voigtlaender http://wwwtcs.inf.tu-dresden.de/~voigt/ mailto:voigt@tcs.inf.tu-dresden.de