[Haskell-cafe] How to convert a list to a vector encoding its length in its type?

Ryan Ingram ryani.spam at gmail.com
Tue Aug 25 03:49:04 EDT 2009

Also, be aware that we are testing the edges of what the compiler
supports for type families here.  I ran into a bug in my initial
implementation which I submitted as

  -- ryan

More information about the Haskell-Cafe mailing list