[Haskell-cafe] Re: Implementing fixed-sized vectors (using datatype algebra?)

Alfonso Acosta alfonso.acosta at gmail.com
Sat Feb 2 10:04:37 EST 2008


On Feb 2, 2008 2:54 PM, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> Just compare
>
> f :: List (() :- D1 :- D0 :- D0 :- 1000) Int -> List (() :- D1 :- D0
> :- D0 :- D0) Int

I meant

f :: List (() :- D1 :- D0 :- D0 :- D0) Int -> List (() :- D1 :- D0 :-
D0 :- D0) Int

sorry for the typo


More information about the Haskell-Cafe mailing list