
4 Dec
2007
4 Dec
'07
7:11 a.m.
Ryan Ingram wrote:
On 12/3/07, Kalman Noel
wrote: You're confusing sum and product types. I'm not so sure; it looks like they already have that type (Exp) and wants to use AlgExp to hold the "folding" functions used.
Ah, I didn't catch that on the first read. I suppose Carlo should then tell us what Exp exactly looks like; and it would be nice, too, to explain to me what the function in question is supposed to achieve then. He doesn't seem to want to reduce the expression, after all. Kalman ---------------------------------------------------------------------- Free pop3 email with a spam filter. http://www.bluebottle.com/tag/5