On Fri, Aug 20, 2010 at 12:57 AM, Felipe Lessa <felipe.le...@gmail.com> wrote: > Alas, the idea is simple. Each 'Element' contains up to 2^(s-1) data. > For example, with an 'Element Z a' you can't store anything. With an > 'Element (S Z) a' you may store zero or one datum. With an 'Element > (S (S Z)) a', you may store between 0 and 4 data, and so forth.
Erm, correcting myself: Alas, the idea is simple. Each 'Element' contains up to (2^s)-1 data. For example, with an 'Element Z a' you can't store anything. With an 'Element (S Z) a' you may store zero or one datum. With an 'Element (S (S Z)) a', you may store between 0 and 3 data. With an 'Element (S (S (S Z))) a', you may store between 0 and 7 data, and so forth. Cheers! =) -- Felipe. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe