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

31 Jan 2008


      Look at

http://sneezy.cs.nott.ac.uk/fun/feb-07/jeremy-slides.pdf

and

http://article.gmane.org/gmane.comp.lang.haskell.cafe/27062

Dominic Steinitz