search

bodil / purescript-sized-vectors

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

fromArray #8

Closed matthewleon closed 7 years ago

matthewleon commented 7 years ago

I've been using this lib on a little project I'm working on, and this function felt like an essential, missing piece of the puzzle for its practical use.

matthewleon commented 7 years ago

sorry, thought of a safer approach to this and will make a PR for it