3 Dec
2007
3 Dec
'07
6:36 p.m.
On 12/3/07, Kalman Noel
You're confusing sum and product types. That is, you're using a product type, but you probably need a sum type, like this:
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. Carlo, I think you're on the right track. Think of it this way: you have some Exps and you want to get some things of type "a" to pass to the functions in alg. How could you get those things with what you have so far? -- ryan