bodil / purescript-sized-vectors

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

fromArray #9

Closed matthewleon closed 7 years ago

matthewleon commented 7 years ago

A less surprising approach to the function from https://github.com/bodil/purescript-sized-vectors/pull/8

bodil commented 7 years ago

👍