Re: [Haskell-cafe] [ANN]: fin & vec

Oleg Grenrus writes:

Thanks for more references! I was quite sure I didn't found all packages around fin/nat/vec (and I feel a little bad for making "standards" problem worse :)

There is also https://hackage.haskell.org/package/fixed-vector which I've been using for this sort of thing. -- - Frank