bodil / purescript-sized-vectors

Idris style sized vectors in PureScript
18 stars 12 forks source link

`sized-vectors` vs `fast-vect` #34

Open m-bock opened 1 year ago

m-bock commented 1 year ago

Since the latest major release, PureScript now has typelevel Integers. This makes the approach used in this library obsolete.

I am not sure if it makes sense to update to the new type level integers because there's now fast-vect from @sigma-andex that already does that.

So my questions are:

What do you think?