[Haskell-cafe] Functional dependence nightmare
stephen.tetley at gmail.com
Sat Mar 26 21:34:52 CET 2011
On 26 March 2011 20:19, Stephen Tetley <stephen.tetley at gmail.com> wrote:
> ... you
> want to use scoped type variables so that the local type annotation is
> *the same type* type variable.
> so that the local type annotation is *the same type variable*.
Where is Data.Vec coming from so I can try to compile it myself?
More information about the Haskell-Cafe