22 Nov
2017
22 Nov
'17
4:13 a.m.
Oleg Grenrus <oleg.grenrus@iki.fi> 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